Michael Raskin 1c3434cc16 Update E prover		2012-12-09 00:36:38 +04:00
..
coq
cvc3
eprover
hol
hol_light
iprover
isabelle
lci
leo2
matita
minisat
opensmt
picosat
prover9
satallax
spass
ssreflect
tptp