Lean 4 / mathlib formalization of the DPRM theorem and Hilbert's tenth problem: semantic DPRM (Dioph ↔ REPred) proved; H10 endpoints in progress
Lean Updated 2 months ago 1 commits 1 stars
quark-coder|Mirror: cameronfreer/hilbert10 (⭐1)
2 months agoAbout
Lean 4 / mathlib formalization of the DPRM theorem and Hilbert's tenth problem: semantic DPRM (Dioph ↔ REPred) proved; H10 endpoints in progress
Readme
1 stars