robertylewis / mathematicaLinks
Lean-independent implementation of the MM-Lean link
☆30Updated 2 years ago
Alternatives and similar repositories for mathematica
Users that are interested in mathematica are comparing it to the libraries listed below
Sorting:
- Formalization of the existence of sphere eversions☆41Updated last week
- LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.☆61Updated 10 months ago
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆58Updated last month
- A formalization of the Rubik's cube group☆27Updated 4 years ago
- Jupyter notebook for the Lean4 programming language