Alternatives and similar repositories for comb_spec_searcher

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

• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• vaibhavkarve / leanteach2020
  Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
  ☆28Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated last year
• paulaneeley / modal
  ☆14Updated 4 years ago
• b-mehta / unit-fractions
  ☆15Updated last year
• leanprover-community / flt-regular
  Fermat's Last Theorem for regular primes
  ☆58Updated this week
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• leanprover-community / plausible
  ☆46Updated this week
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• EdAyers / Robotone
  The 'Robot' theorem prover. Fork of github.com/mg262/research
  ☆12Updated 4 years ago
• dwrensha / tryAtEachStep
  Try a tactic at each step in a Lean proof.
  ☆29Updated this week
• argumentcomputer / RustFFI.lean
  Template for Lean<->Rust FFI
  ☆12Updated last year
• chasenorman / Canonical
  Canonical is a performant sound and complete type inhabitation solver for dependent type theory.
  ☆47Updated this week
• fpvandoorn / carleson
  A formalized proof of Carleson's theorem in Lean
  ☆55Updated this week
• dwrensha / animate-lean-proofs
  tool for turning Lean proofs into Blender animations
  ☆69Updated last month
• Ivan-Sergeyev / seymour
  This project is about formally verifying Seymour's decomposition theorem for regular matroids.
  ☆25Updated this week
• kendfrey / rubiks-cube-group
  A formalization of the Rubik's cube group
  ☆27Updated 4 years ago
• leanprover-community / lean-client-python
  Python talking to the Lean theorem prover
  ☆44Updated 3 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆42Updated this week
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated 2 years ago
• chanind / mathlib-changelog
  ☆10Updated this week
• ammkrn / nanoda_lib
  Library implementing type inference/checking functionality based on the Lean theorem prover
  ☆65Updated last week
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• leanprover-community / duper
  ☆79Updated 2 weeks ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆41Updated last year
• IPDSnelting / tba-2021
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆50Updated 3 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago