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
  ☆68Updated 3 weeks ago
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 7 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• djvelleman / HTPILeanPackage
  ☆28Updated 2 months ago
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆20Updated this week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆13Updated 7 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆22Updated 9 months ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated 2 weeks ago
• meithecatte / isabelle-math-contests
  Solutions to math olympiad problems in Isabelle/HOL
  ☆11Updated 3 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆48Updated this week
• vihdzp / combinatorial-games
  Combinatorial game library in Lean 4
  ☆14Updated this week
• vihdzp / rubik-lean4
  Lean 4 formalization of Rubik's cubes
  ☆29Updated last month
• barry-jay-personal / typed_tree_calculus
  types for various combinatory systems, especialy tree calculi
  ☆14Updated 2 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆20Updated last week
• FlorianAdler / AlgebraBonn
  Lecture Notes for Algebra Lectures at the University of Bonn
  ☆12Updated 6 months ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• b-mehta / exponential-ramsey
  ☆14Updated last year
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 6 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• leanprover / doc-gen4
  Document Generator for Lean 4
  ☆86Updated 3 weeks ago
• leanprover / verso
  Lean documentation authoring tool
  ☆149Updated this week
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• uds-psl / coq-library-complexity
  ☆31Updated last year
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆39Updated 3 weeks ago
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆36Updated this week
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆46Updated 3 years ago