coq-hardy icon indicating copy to clipboard operation
coq-hardy copied to clipboard

Published 20 hours ago • verified publisher icon geohot
→

Metadata

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

← Metadata

52
Stars
5
Forks
Watchers

Owner

verified publisher icon geohot

Metadata

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

Back