Alternatives and similar repositories for exponential-ramsey

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

• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆76Updated 6 months ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• MizarProject / system
  ☆42Updated 7 months ago
• GaloisInc / lean-llvm
  LLVM support for the lean theorem prover
  ☆53Updated 4 years ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆70Updated last year
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆46Updated 4 years ago
• Anon52MI4 / oeis-alien
  ☆22Updated 2 years ago
• fpvandoorn / LeanCourse24
  Bonn Lean course for winter 24/25
  ☆39Updated 3 weeks ago
• ufmg-smite / lean-smt
  Tactics for discharging Lean goals into SMT solvers.
  ☆241Updated last month
• ATOMSLab / LeanLJ
  Lennard Jones in Lean
  ☆20Updated 5 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated this week
• YaelDillies / LeanCamCombi
  Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
  ☆64Updated 2 weeks ago
• leanprover-community / duper
  ☆95Updated 2 weeks ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Updated 4 years ago
• leanprover / LNSym
  Armv8 Native Code Symbolic Simulator in Lean
  ☆95Updated last month
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆65Updated last year
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆200Updated last week
• rzk-lang / sHoTT
  Formalisations for simplicial HoTT and synthetic ∞-categories.
  ☆54Updated last month
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆78Updated 6 months ago
• fpvandoorn / LeanCourse23
  ☆34Updated last year
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆143Updated last year
• blanchette / logical_verification_2023
  Hitchhiker's Guide to Logical Verification (2023 Edition)
  ☆113Updated 2 years ago
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆79Updated 3 weeks ago
• verse-lab / lean-ssr
  LeanSSR: an SSReflect-Like Tactic Language for Lean
  ☆39Updated 3 weeks ago
• avigad / lamr
  Logic and Mechanized Reasoning
  ☆114Updated 2 months ago
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆43Updated 4 years ago
• liuyj8526 / Computation-of-Elliptic-Units
  We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…
  ☆31Updated 4 years ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26Updated 5 years ago
• leanprover-community / lean-auto
  Experiments on automation for Lean
  ☆149Updated 2 weeks ago