Proving the fundamental theorem of arithmetic in Agda(byorgey.github.io)
byorgey.github.io
Proving the fundamental theorem of arithmetic in Agda
https://byorgey.github.io/blog/posts/2026/06/26/FTA.lagda.html
0 comments
—
https://byorgey.github.io/blog/posts/2026/06/26/FTA.lagda.html
—