Proving the fundamental theorem of arithmetic in Agda

(byorgey.github.io)

2 points | by fanf2 6 hours ago

No comments yet.