Alternatives and similar repositories for zpordle:

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

• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆67Updated last month
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• ralsei / types.pl
  The glitch-soc/Mastodon fork running on types.pl
  ☆22Updated last month
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated last year
• leanprover / lean4export
  Plain-text declaration export for Lean 4
  ☆13Updated 4 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆30Updated 3 weeks ago
• madvorak / lean4-cheatsheet
  Printable (A4) overview of tactics in Lean 4 for beginners
  ☆24Updated 5 months ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆42Updated this week
• howard36 / probase
  An online math contest platform
  ☆18Updated 2 months ago
• vihdzp / rubik-lean4
  Lean 4 formalization of Rubik's cubes
  ☆26Updated this week
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆33Updated this week
• jsm28 / AperiodicMonotilesLean
  Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)
  ☆13Updated this week
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• gerby-project / gerby-website
  Tag-based webview of LaTeX documents
  ☆28Updated last year
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 4 months ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆27Updated 3 years ago
• codereport / plr
  GitHub repo backing Programming Language Ranking website ⬇️
  ☆30Updated last month
• T-Brick / c0deine
  Reference compiler for c0
  ☆30Updated 6 months ago
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆48Updated 4 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆47Updated 6 months ago
• Ja1941 / hilberts-axioms
  ☆10Updated 3 years ago
• djvelleman / HTPILeanPackage
  ☆26Updated last month
• djvelleman / HTPIwL
  Book about using Lean with How To Prove It
  ☆17Updated last month
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆38Updated this week
• opencompl / C-parsing-for-Lean4
  A parser for ANSI C, in Lean4.
  ☆20Updated last year
• b-mehta / exponential-ramsey
  ☆14Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆63Updated last year
• thery / hanoi
  Hanoi tower in Coq
  ☆24Updated 2 months ago