ImperialCollegeLondon / M4P33

M4 algebraic geometry course in Lean
59Updated 5 years ago

Alternatives and similar repositories for M4P33:

Users that are interested in M4P33 are comparing it to the libraries listed below