tildedave/coq-sum-of-squares

Compute prime numbers as a sum of squares using Coq

CoqMIT