coq-hardy
Coq
★ 54
updated 7y ago
Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq
No plain-English explanation yet — one is being written right now. Check back in a minute.