konne88 / functorioLinks
☆285Updated 3 months ago
Alternatives and similar repositories for functorio
Users that are interested in functorio are comparing it to the libraries listed below
Sorting:
- ☆354Updated 4 months ago
- Natural Number Game☆275Updated 3 weeks ago
- A formalized proof of Carleson's theorem in Lean☆81Updated last week
- A wiki for collaborative work on totally legitimate "category theory"☆132Updated last year
- A small collection of formally verified junk theorems provable in Lean4 + Mathlib.☆90Updated 3 weeks ago
- Mathlib search tool☆117Updated last month
- Server to host lean games.☆383Updated last week
- Lean documentation authoring tool☆247Updated this week
- A language with dependent data and codata types☆125Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆353Updated this week
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆40Updated 2 weeks ago
- A sudoku game where you have to prove that your deductions are valid☆117Updated 3 years ago
- The Lean Computer Science Library (CSLib)☆231Updated this week
- Experiments on automation for Lean☆157Updated this week
- A formal consistency proof of Quine's set theory New Foundations☆77Updated 7 months ago
- Animations of lambda term reduction sequences☆161Updated 7 years ago
- A simple raytracer written in Lean 4☆143Updated last year
- Ongoing Lean formalisation of the proof of Fermat's Last Theorem☆796Updated last week
- Programming with pure lambda calculus☆140Updated last month
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆122Updated 3 weeks ago
- ⚗️ | λC pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.☆61Updated last week
- ☆97Updated last month
- Lean theorem proving interface which feels like pen-and-paper proofs.☆483Updated last month
- Tactics for discharging Lean goals into SMT solvers.☆254Updated last week
- 📚 A collection of resources about supercompilation☆128Updated 6 months ago
- Write C shims from within Lean code.☆81Updated 6 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆82Updated 2 months ago
- Natural language tactics to teach mathematics using Lean 4☆113Updated this week
- Document Generator for Lean 4☆118Updated this week
- Library implementing type inference/checking functionality based on the Lean theorem prover☆90Updated 2 weeks ago