/pkgs/applications/science/logic/
../
coq
cvc3
eProver
hol
hol_light
iprover
isabelle
lci
leo2
matita
minisat
opensmt
picosat
prover9
satallax
spass
ssreflect
tptp