Proving the Fundamental Theorem of Arithmetic in Agda Posted on June 26, 2026 Tagged agda , arithmetic , theorem , proof , Agda Share on tl;dr : This is a fully commentated, from-scratch proof of the Fundamental Theorem of Arithmetic in Agda , intended for those who already know a bit of Agda but might benefit from reading and working through a larger example. See the Introduction and the Table of…