Top 10 theorem-prover Open-Source Projects

  • Kind

    A next-gen functional language (by HigherOrderCO)

    Project mention: Can one use lambda calculus as an IR? | /r/Compilers | 2023-06-06

    Depending on what you mean by practical it already is! HVM was developed to be an efficient backend for the Kind language from the same folks

  • awesome-rust-formalized-reasoning

    An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.

  • SonarQube

    Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.

  • toysolver

    My sandbox for experimenting with solver algorithms.

  • pyprover

    Resolution theorem proving for predicate logic in pure Python.

    Project mention: First order logic theorem prover in pure Python | | 2023-08-31
  • cicada

    Cicada Language (by cicada-lang)

  • egglog0

    Datalog + Egg = Good

    Project mention: Better Together: Unifying Datalog and Equality Saturation | | 2023-04-18

    I believe this is the code for their work, which I believe the authors didn't put in the paper:

  • anders

    🧊 Модальний Гомотопічний Прувер

  • Mergify

    Updating dependencies is time-consuming.. Solutions like Dependabot or Renovate update but don't merge dependencies. You need to do it manually while it could be fully automated! Add a Merge Queue to your workflow and stop caring about PR management & merging. Try Mergify for free.

  • budge

    Budge - a programming language and a theorem prover (by bor0)

  • supervisionary

    The Supervisionary proof-checking kernel for higher-order logic

  • supervisionary

    Supervisionary: a proof-checking system for HOL (by DominicPM)

    Project mention: What would you rewrite in Rust? | /r/rust | 2023-02-11

    This may interest you:

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2023-08-31.

theorem-prover related posts


What are some of the best open-source theorem-prover projects? This list will help you:

Project Stars
1 Kind 3,236
2 awesome-rust-formalized-reasoning 227
3 toysolver 148
4 pyprover 77
5 cicada 75
6 egglog0 64
7 anders 12
8 budge 8
9 supervisionary 3
10 supervisionary 0
Collect and Analyze Billions of Data Points in Real Time
Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.