Hacker News new | ask | show | jobs
Proving the fundamental theorem of arithmetic in Agda (byorgey.github.io)
2 points by fanf2 29 days ago