|
coq
|
Update Coq
|
2010-11-04 11:24:27 +00:00 |
|
eProver
|
Fix installation for updated E prover release
|
2010-08-26 04:34:20 +00:00 |
|
hol
|
pkgs/applications/science/logic/hol: initial version
|
2010-08-25 19:50:24 +00:00 |
|
hol_light
|
Update HOL Light
|
2010-11-03 22:20:05 +00:00 |
|
iprover
|
Adding iProver
|
2010-12-04 18:39:44 +00:00 |
|
isabelle
|
Fix settings patch for Isabelle
|
2010-12-01 21:29:20 +00:00 |
|
leo2
|
Adding LEO2 automated higher-order prover
|
2010-12-01 21:29:42 +00:00 |
|
minisat
|
Adding MiniSAT
|
2010-12-05 19:54:27 +00:00 |
|
opensmt
|
Adding OpenSMT
|
2010-12-05 18:22:14 +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 |
