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