From isa-afp.org
Sophie Germain’s Theorem
1 1
Sophie Germain’s Theorem in the Archive of Formal Proofs
#itp #math #isabellehol
20h ago