|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
logic
mathematics
theorem-prover
model-checking
theorem-proving
sat-solver
proof-assistant
research
programming-language
coq
|
| Package |
Description |
Version |
|
quint
☆
formula
1,111
|
Core tool for the Quint specification language |
0.29.1 |
|
acl2
☆
formula
|
Logic and programming language in which you can model computer systems |
8.6 |
|
agda
☆
formula
|
Dependently typed functional programming language |
2.8.0-r3 |
|
alloy-analyzer
☆
formula
|
Open-source language and analyzer for software modeling |
6.2.0 |
|
ats2-postiats
☆
formula
|
Programming language with formal specification features |
0.4.2 |
|
boolector
☆
formula
|
SMT solver for fixed-size bit-vectors |
3.2.4 |
|
cadical
☆
formula
|
Clean and efficient state-of-the-art SAT solver |
2.2.1 |
|
cafeobj
☆
formula
|
New generation algebraic specification and programming language |
1.6.2 |
|
coq-platform
☆
cask
|
Formal proof management system |
2025.01.0,8.20.2025.01 |
|
cryptominisat
☆
formula
|
Advanced SAT solver |
818c9562f114b315a9246ced943b66b60b38e8fb |
|
depqbf
☆
formula
|
Solver for quantified boolean formulae (QBF) |
6.03 |
|
eprover
☆
formula
|
Theorem prover for full first-order logic with equality |
3.2 |
|
hierarchy-builder
☆
formula
|
High level commands to declare a hierarchy based on packed classes |
|
|
isabelle
☆
cask
|
Generic proof assistant |
2025-2 |
|
kissat
☆
formula
|
Bare metal SAT solver |
|
|
ltl2ba
☆
formula
|
Translate LTL formulae to Buchi automata |
|
|
math-comp
☆
formula
|
Mathematical Components for the Coq proof assistant |
|
|
prover9
☆
formula
|
Automated theorem prover for first-order and equational logic |
2009-11A |
|
rocq
☆
formula
|
Proof assistant for higher-order logic |
|
|
spin
☆
formula
|
Efficient verification tool of multi-threaded software |
|
|
spot
☆
formula
|
Platform for LTL and ω-automata manipulation |
2.14.4 |
|
vampire
☆
formula
|
High-performance theorem prover |
|