konne88 / functorioLinks
☆270Updated last week
Alternatives and similar repositories for functorio
Users that are interested in functorio are comparing it to the libraries listed below
Sorting:
- ☆344Updated last month
- A formalized proof of Carleson's theorem in Lean☆74Updated this week
- Natural Number Game☆233Updated last month
- Server to host lean games.☆330Updated last week
- Mathlib search tool☆104Updated 2 weeks ago
- You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...☆61Updated 2 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆35Updated last month
- Lean documentation authoring tool☆227Updated this week
- A Language with Dependent Data and Codata Types☆124Updated this week
- 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☆336Updated this week
- Formalization of Mathematical Logic☆175Updated this week
- A wiki for collaborative work on totally legitimate "category theory"☆123Updated last year
- A Lean library for Computer Science☆145Updated last week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆77Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆73Updated 4 months ago
- White-box automation for Lean 4☆307Updated this week
- Document Generator for Lean 4☆110Updated last week
- Tactics for discharging Lean goals into SMT solvers.☆233Updated 3 weeks ago
- A list of awesome lean4 projects. Feel free to add your project.☆104Updated this week
- A proof assistant for higher-dimensional type theory☆216Updated last month
- Natural language tactics to teach mathematics using Lean 4☆96Updated last week
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆114Updated last week
- Lean theorem proving interface which feels like pen-and-paper proofs.☆461Updated last week
- A simple raytracer written in Lean 4☆141Updated last year
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆402Updated last month
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆723Updated last week
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆75Updated this week
- The Lean 4 web editor☆113Updated last month
- Combinatorial game library in Lean 4☆49Updated last week