robertylewis / mathematicaLinks
Lean-independent implementation of the MM-Lean link
β32Updated 2 years ago
Alternatives and similar repositories for mathematica
Users that are interested in mathematica are comparing it to the libraries listed below
Sorting:
- π§ Liquid Tensor Experimentβ205Updated last year
- Python talking to the Lean theorem proverβ45Updated 3 years ago
- Perfectoid spaces in the Lean formal theorem prover.β125Updated last year
- Lean for the Curious Mathematician 2020β67Updated last year
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)β181Updated last week
- A Lean file formatterβ68Updated 2 years ago
- Interactive neural theorem proving in Leanβ123Updated 3 years ago
- Helper toolkit for creating your own Lean 4 UserWidgetsβ151Updated 2 weeks ago
- Tools based on AI for helping with Lean 4β92Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.β65Updated last week
- β32Updated 3 weeks ago
- β50Updated 3 years ago
- plasTeX plugin to build formalization blueprints.β228Updated last month
- Theorem Proving in Lean 4β201Updated last week
- Lean documentation authoring toolβ201Updated this week
- A formalization of the Rubik's cube groupβ27Updated 4 years ago
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" courseβ161Updated last year
- β38Updated 2 years ago
- An introduction to theorem proving in Lean for the impatient.β227Updated last week
- Formalization of the existence of sphere eversionsβ44Updated this week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Leanβ60Updated last month
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.β26Updated 3 years ago
- White-box automation for Lean 4β286Updated 2 weeks ago
- Fermat's Last Theorem for regular primesβ61Updated 3 weeks ago
- Mathport is a tool for porting Lean3 projects to Lean4β44Updated 8 months ago
- Source code for the Mathematics in Lean tutorial.β162Updated 3 weeks ago
- Visual Studio Code extension for the Lean 4 proof assistantβ223Updated this week
- Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) forβ¦β115Updated 4 months ago
- This project converts structured Lean code into an interactive browser game.β77Updated last year
- A formal proof of the independence of the continuum hypothesisβ132Updated 11 months ago