Proving the Fundamental Theorem of Arithmetic in Agda (via abhin4v) — discussion
#formalmethods #math
