Proving the Fundamental Theorem of Arithmetic in Agda https://byorgey.github.io/blog/posts/2026/06/26/FTA.lagda.html #Agda #FormalMethods #Math