Alternatives and similar repositories for exponential-ramsey

Users that are interested in exponential-ramsey are comparing it to the libraries listed below

• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆48Updated 3 years ago
• Splines / lean-continuous
  Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.
  ☆15Updated last week
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆31Updated 6 months ago
• teorth / symmetric_project
  ☆91Updated last year
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆84Updated 7 months ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆45Updated 3 years ago
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• digama0 / mizar-rs
  Alternative Mizar proof checker (http://mizar.org/) written in Rust
  ☆53Updated last week
• djvelleman / HTPILeanPackage
  ☆32Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆72Updated 3 weeks ago
• MixedMatched / juniper
  A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
  ☆19Updated 6 months ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated last month
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆177Updated last week
• leanprover / leansat
  This package provides an interface and foundation for verified SAT reasoning
  ☆53Updated 10 months ago
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆204Updated last month
• naproche / naproche
  Write formal proofs in natural language and LaTeX.
  ☆38Updated 3 weeks ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• viperproject / axiom-profiler
  The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).
  ☆32Updated 5 months ago
• teorth / expdb
  Exponent pair database
  ☆59Updated last week
• fpvandoorn / LeanCourse23
  ☆32Updated 9 months ago
• leanprover / TensorLib
  A verified tensor library in Lean
  ☆28Updated last week
• digama0 / mm-lean4
  Lean 4 Metamath verifier
  ☆19Updated last month
• affeldt-aist / infotheo
  A Rocq formalization of information theory and linear error-correcting codes
  ☆71Updated last week
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆68Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆110Updated last year
• leanprover-community / lean-auto
  Experiments on automation for Lean
  ☆120Updated this week
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆72Updated 2 weeks ago