|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
logic
formal-verification
research
mathematics
automated-reasoning
verification
lisp
programming-language
lean
version-manager
|
| Package |
Description |
Version |
|
acl2
☆
formula
|
Logic and programming language in which you can model computer systems |
8.6 |
|
elan-init
☆
formula
|
Lean Theorem Prover installer and version manager |
4.1.2 |
|
eprover
☆
formula
|
Theorem prover for full first-order logic with equality |
3.2 |
|
prover9
☆
formula
|
Automated theorem prover for first-order and equational logic |
2009-11A |
|
rocq
☆
formula
|
Proof assistant for higher-order logic |
|
|
stp
☆
formula
|
Simple Theorem Prover, an efficient SMT solver for bitvectors |
|
|
vampire
☆
formula
|
High-performance theorem prover |
|
|
z3
☆
formula
|
High-performance theorem prover |
4.15.4 |