Proving the fundamental theorem of arithmetic in Agda

 (byorgey.github.io)

2 points | by fanf2  7 hours ago

No comments yet.