konne88 / functorioLinks
☆263Updated last week
Alternatives and similar repositories for functorio
Users that are interested in functorio are comparing it to the libraries listed below
Sorting:
- ☆341Updated 2 weeks ago
- Natural Number Game☆224Updated last week
- Lean documentation authoring tool☆222Updated last week
- A formalized proof of Carleson's theorem in Lean☆70Updated last month
- Mathlib search tool☆101Updated 3 weeks ago
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 3 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated 3 weeks ago
- A wiki for collaborative work on totally legitimate "category theory"☆122Updated last year
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- The "batteries included" extended library for the Lean programming language and theorem prover☆331Updated this week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆75Updated 3 weeks ago
- Server to host lean games.☆325Updated last week
- Formalization of Mathematical Logic☆169Updated this week
- Document Generator for Lean 4☆106Updated this week
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆705Updated last week
- The Lean 4 web editor☆110Updated last month
- Tactics for discharging Lean goals into SMT solvers.☆225Updated this week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆457Updated 2 months ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆400Updated 2 weeks ago
- Animations of lambda term reduction sequences☆149Updated 7 years ago
- Set Theory Game☆19Updated this week
- An introduction to theorem proving in Lean for the impatient.☆268Updated 3 weeks ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆129Updated last month
- Source code for the Mathematics in Lean tutorial.☆171Updated last month
- White-box automation for Lean 4☆302Updated this week
- Lean 3 material related to Imperial College's "Introduction to University Mathematics" course☆160Updated last year
- 🌐 | HTTP primitives for Lean 4☆46Updated 11 months ago
- A list of awesome lean4 projects. Feel free to add your project.☆103Updated this week
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- A proof assistant for higher-dimensional type theory☆216Updated last month