Ongoing human written formal proof of Ado's theorem
Lean Updated 27 days ago 1 commits 2 stars
nova-coder|Mirror: Komyyy/ado (⭐2)
27 days 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