Alternatives and similar repositories for zpordle

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

• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated 5 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆36Updated 6 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 2 weeks ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 2 months ago
• ccz181078 / Coq-BB5
  ☆348Updated 2 months ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• teorth / expdb
  Exponent pair database
  ☆62Updated this week
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 5 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆38Updated this week
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week
• dwrensha / Rupert.lean
  Formalization of the Rupert Problem for convex polyhedra.
  ☆17Updated this week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆75Updated last week
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆50Updated last month
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆23Updated last month
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 4 years ago
• bhgomes / lean-riemann-hypothesis
  Riemann Hypothesis in Lean
  ☆41Updated 4 years ago
• leanprover-community / lean4web
  The Lean 4 web editor
  ☆121Updated 2 months ago
• vihdzp / rubik-lean4
  Lean 4 formalization of Rubik's cubes
  ☆32Updated 9 months ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆111Updated last week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆77Updated last week
• emilyriehl / infinity-cosmos
  A blueprint for a formalization of infinity-cosmos theory in Lean.
  ☆82Updated last week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated 2 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆128Updated last week
• marcusrossel / lean-egg
  A (WIP) equality saturation tactic for Lean based on egg.
  ☆74Updated last month
• TwoFX / sudoku
  A sudoku game where you have to prove that your deductions are valid
  ☆117Updated 3 years ago
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆30Updated this week
• leanprover / verso
  Lean documentation authoring tool
  ☆233Updated this week