coq-hardy
Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
53 stars
5 watching
5 forks
Language: Coq
last commit: over 5 years ago Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq