GitHub repository: rocq-archive/sum-of-two-square
Primary language: Coq
Description: Numbers equal to the sum of two square numbers