mathesis - the estate's maths section: a proof atlas mapping which proofs live in which hyperpolymath repos, in which prover, with proof-status receipts; census pipeline, generated catalogue and claims registry graded from home-repo receipts at pinned commits; Agda/Rocq/Lean sources planned.
Shell Updated about 11 hours ago 1 commits 1 stars
surge-bot|Mirror: hyperpolymath/mathesis (⭐1)
about 11 hours agoAbout
mathesis - the estate's maths section: a proof atlas mapping which proofs live in which hyperpolymath repos, in which prover, with proof-status receipts; census pipeline, generated catalogue and claims registry graded from home-repo receipts at pinned commits; Agda/Rocq/Lean sources planned.
Readme
1 stars