konne88 / functorioLinks
☆283Updated 2 months ago
Alternatives and similar repositories for functorio
Users that are interested in functorio are comparing it to the libraries listed below
Sorting:
- ☆351Updated 3 months ago
- Natural Number Game☆269Updated 3 months ago
- A formalized proof of Carleson's theorem in Lean☆79Updated 2 weeks ago
- Server to host lean games.☆365Updated this week
- Lean documentation authoring tool☆244Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆351Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆484Updated 3 weeks ago
- Mathlib search tool☆115Updated 2 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- Tactics for discharging Lean goals into SMT solvers.☆241Updated last month
- Document Generator for Lean 4☆115Updated 2 weeks ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆778Updated this week
- White-box automation for Lean 4☆325Updated 2 weeks ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆38Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆411Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆76Updated 6 months ago
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- Set Theory Game☆22Updated last month
- Library implementing type inference/checking functionality based on the Lean theorem prover☆82Updated 2 weeks ago
- A simple raytracer written in Lean 4☆143Updated last year
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆39Updated last week
- Formalization of Mathematical Logic☆191Updated this week
- ☆119Updated last year
- A proof assistant for higher-dimensional type theory☆227Updated 4 months ago
- Natural language tactics to teach mathematics using Lean 4☆110Updated last month
- An introduction to theorem proving in Lean for the impatient.☆311Updated 3 weeks ago
- Inpla: Interaction nets as a programming language (the current version)☆318Updated last week
- Experiments on automation for Lean☆150Updated this week
- Combinatorial game library in Lean 4☆53Updated this week
- A list of awesome lean4 projects. Feel free to add your project.☆116Updated last week