GitHub - geohot/coq-hardy: Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq

geohot / coq-hardy Public

Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 28 Commits
flt		flt
.gitignore		.gitignore
chapter_1.v		chapter_1.v
chapter_2.v		chapter_2.v
chapter_4.v		chapter_4.v
chapter_5.v		chapter_5.v
chapter_6.v		chapter_6.v

About

Formalizing the Theorems from Hardy's "An Introduction to the Theory of Numbers" in coq

No releases published

No packages published