Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Theorem Prover Open Source Projects

Open source projects categorized as Theorem Prover
Categories > Theorem Prover
Kind ⭐ 3,459
A next-gen functional language
dependent packages 2total releases 105most recent commit a month agonpm kind-lang} Downloads
Yices2 ⭐ 345
The Yices SMT Solver
most recent commit 4 months ago
Acl2 ⭐ 326
ACL2 System and Books as Maintained by the Community
most recent commit 4 months ago
Awesome Rust Formalized Reasoning ⭐ 246
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
most recent commit 4 months ago
Curryhoward ⭐ 232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
total releases 15most recent commit 3 years ago
Coqhammer ⭐ 194
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
most recent commit 6 months ago
Toysolver ⭐ 145
My sandbox for experimenting with solver algorithms.
total releases 15most recent commit a year ago
Cicada Solo ⭐ 125
Cicada Language (solo version)
most recent commit 6 months ago
Hezarfen ⭐ 104
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
most recent commit 6 years ago
Langpro ⭐ 97
Tableau-based Theorem Prover for Natural Logic and Language
most recent commit a year ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125most recent commit 4 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most recent commit 6 months agonpm cicada-lang} Downloads
Pyprover ⭐ 79
Resolution theorem proving for predicate logic in pure Python.
total releases 26most recent commit 6 months ago
Keymaerax Release ⭐ 65
KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
most recent commit 10 months ago
Egglog0 ⭐ 65
Datalog + Egg = Good
most recent commit a year ago
Wangsalgorithm ⭐ 29
A classical propositional theorem prover in Haskell, using Wang's Algorithm.
most recent commit 5 years ago
Typesandproofs ⭐ 28
Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
most recent commit 5 months ago
Ostrich ⭐ 28
An SMT Solver for string constraints
dependent packages 1total releases 4most recent commit 4 months ago
Princess ⭐ 17
The Princess Theorem Prover
most recent commit 4 months ago
Metis ⭐ 16
Metis is an automatic theorem prover for first order logic with equality
most recent commit 4 years ago
Anders ⭐ 14
🧊 Модальний Гомотопічний Прувер
total releases 1most recent commit 6 months ago
Qrhl Tool ⭐ 14
Proof assistant for qRHL
most recent commit 8 months ago
Anders ⭐ 13
Anders: Cubical Type Checker
most recent commit 7 months ago
The 3 Most Depended On Theorem Prover Open Source Projects
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 6 months agonpm cicada-lang} Downloads
Kind ⭐ 3,459
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit a month agonpm kind-lang} Downloads
Ostrich ⭐ 28
An SMT Solver for string constraints
dependent packages 1total releases 4latest release July 14, 2023most recent commit 4 months ago
The 10 Latest Releases In Theorem Prover Open Source Projects
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 4 months ago
Ostrich ⭐ 28
An SMT Solver for string constraints
dependent packages 1total releases 4latest release July 14, 2023most recent commit 4 months ago
Propafp ⭐ 6
Auto-active verification of floating-point programs.
total releases 3latest release March 12, 2023most recent commit 7 months ago
Kind ⭐ 3,459
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit a month agonpm kind-lang} Downloads
Psitip ⭐ 12
Python Symbolic Information Theoretic Inequality Prover
total releases 2latest release September 20, 2022most recent commit 2 years ago
Toysolver ⭐ 145
My sandbox for experimenting with solver algorithms.
total releases 15latest release September 20, 2022most recent commit a year ago
Anders ⭐ 14
🧊 Модальний Гомотопічний Прувер
total releases 1latest release April 08, 2022most recent commit 6 months ago
Pyprover ⭐ 79
Resolution theorem proving for predicate logic in pure Python.
total releases 26latest release March 02, 2022most recent commit 6 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 6 months agonpm cicada-lang} Downloads
Curryhoward ⭐ 232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
total releases 15latest release August 23, 2021most recent commit 3 years ago
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.