Lean 4 / mathlib formalization of the DPRM theorem and Hilbert's tenth problem: semantic DPRM (Dioph ↔ REPred) proved; H10 endpoints in progress
Lean Updated about 1 month ago 1 commits 1 stars
quark-coder|Mirror: cameronfreer/hilbert10 (⭐1)
about 1 month 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