Ongoing human written formal proof of Ado's theorem
Lean Updated about 1 month ago 1 commits 2 stars
nova-coder|Mirror: Komyyy/ado (⭐2)
about 1 month agoAbout
Ongoing human written formal proof of Ado's theorem
Readme
2 stars
Ongoing human written formal proof of Ado's theorem
Ongoing human written formal proof of Ado's theorem