coq
|
update coq to 8.3pl1
|
2011-04-05 11:59:25 +00:00 |
eProver
|
Update E prover
|
2012-01-04 10:31:49 +00:00 |
hol
|
pkgs/applications/science/logic/hol: initial version
|
2010-08-25 19:50:24 +00:00 |
hol_light
|
Update HOL Light to rev 118
|
2012-01-10 16:12:11 +00:00 |
iprover
|
Adding iProver
|
2010-12-04 18:39:44 +00:00 |
isabelle
|
Update url for Isabelle2011
|
2011-11-26 18:45:15 +00:00 |
leo2
|
Update LEO-II
|
2011-08-05 18:22:40 +00:00 |
minisat
|
Adding MiniSAT
|
2010-12-05 19:54:27 +00:00 |
opensmt
|
Adding OpenSMT
|
2010-12-05 18:22:14 +00:00 |
picosat
|
Package for picosat.
|
2011-10-17 22:18:21 +00:00 |
satallax
|
Adding Satallax prover
|
2010-12-03 11:26:34 +00:00 |
spass
|
Adding SPASS
|
2010-12-04 11:43:01 +00:00 |
ssreflect
|
update coq to 8.3pl1
|
2011-04-05 11:59:25 +00:00 |
tptp
|
Adding TPTP
|
2011-06-15 10:35:18 +00:00 |