Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
Primary LanguageCoq
This repository is not active