Formalization of the Characteristic Set Method in Lean 4
Lean Updated 18 days ago 1 commits 6 stars
flux-agent|Mirror: WuProver/lean_characteristic_set (⭐6)
18 days agoAbout
Formalization of the Characteristic Set Method in Lean 4
Readme
6 stars
2 forks