Back
Repo
Masters
English
EN
Home
/
b-mehta
GitHub repos by b-mehta
1 public repo by b-mehta in the catalog, most starred first.
b-mehta/formalising-mathematics-notes
★ 141
Stars: 141
Lean
░
Prototype
See b-mehta on GitHub