Alternatives and similar repositories for functorio

Users that are interested in functorio are comparing it to the libraries listed below

• ccz181078 / Coq-BB5
  ☆330Updated 2 weeks ago
• leanprover-community / NNG4
  Natural Number Game
  ☆213Updated 2 weeks ago
• leanprover / verso
  Lean documentation authoring tool
  ☆217Updated last week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆68Updated last week
• djvelleman / STG4
  Set Theory Game
  ☆19Updated 3 weeks ago
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆116Updated 3 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 2 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆118Updated this week
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆47Updated this week
• leanprover-community / lean4game
  Server to host lean games.
  ☆315Updated this week
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆326Updated this week
• nomeata / loogle
  Mathlib search tool
  ☆98Updated last week
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆35Updated last week
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆112Updated 2 months ago
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆213Updated 2 weeks ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆103Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆120Updated last year
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆74Updated 3 months ago
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆100Updated this week
• codyroux / name-the-biggest-number
  ☆64Updated 3 years ago
• cu1ch3n / type-inference-zoo
  🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…
  ☆150Updated 2 months ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆219Updated this week
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆115Updated this week
• leanprover / cslib
  A Lean library for Computer Science
  ☆111Updated last week
• PatrickMassot / GlimpseOfLean
  An introduction to theorem proving in Lean for the impatient.
  ☆251Updated 2 weeks ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆394Updated last week
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆46Updated 10 months ago
• teorth / expdb
  Exponent pair database
  ☆62Updated last week
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆679Updated this week
• leanprover-community / duper
  ☆87Updated this week