konne88 / functorioLinks
☆278Updated last month
Alternatives and similar repositories for functorio
Users that are interested in functorio are comparing it to the libraries listed below
Sorting:
- Natural Number Game☆245Updated last month
- ☆347Updated last month
- The "batteries included" extended library for the Lean programming language and theorem prover☆339Updated this week
- Server to host lean games.☆339Updated this week
- A formalized proof of Carleson's theorem in Lean☆77Updated this week
- Lean documentation authoring tool☆233Updated this week
- A Lean library for Computer Science☆161Updated last week
- White-box automation for Lean 4☆312Updated this week
- Document Generator for Lean 4☆111Updated this week
- Formalization of Mathematical Logic☆176Updated this week
- An introduction to theorem proving in Lean for the impatient.☆290Updated last week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆466Updated this week
- Mathlib search tool☆110Updated 3 weeks ago
- Tactics for discharging Lean goals into SMT solvers.☆240Updated 3 weeks ago
- Metamath Zero specification language☆361Updated 3 months ago
- A language with dependent data and codata types☆124Updated this week
- A list of awesome lean4 projects. Feel free to add your project.☆105Updated this week
- The Lean 4 web editor☆120Updated 2 months ago
- Experiments on automation for Lean☆146Updated last week
- tool for turning Lean proofs into Blender animations☆75Updated this week
- Overview of tactics in Lean 4 for beginners — longer version☆98Updated 4 months ago
- Combinatorial game library in Lean 4☆50Updated 3 weeks ago
- ☆95Updated this week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆77Updated 3 weeks ago
- Inpla: Interaction nets as a programming language (the current version)☆314Updated last year
- Natural language tactics to teach mathematics using Lean 4☆101Updated 2 weeks ago
- A simple raytracer written in Lean 4☆142Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆404Updated 2 weeks ago
- A proof assistant for higher-dimensional type theory☆222Updated 2 months ago
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆741Updated last week