Name
Last commit
Last update
..
alt_ergo.drv Loading commit data...
alt_ergo_0.93.drv Loading commit data...
alt_ergo_bare.drv Loading commit data...
alt_ergo_model.drv Loading commit data...
alt_ergo_smt2.drv Loading commit data...
coq-common.gen Loading commit data...
coq-realize.drv Loading commit data...
coq.drv Loading commit data...
cvc3.drv Loading commit data...
cvc3_bare.drv Loading commit data...
discrimination.gen Loading commit data...
eprover.drv Loading commit data...
gappa.drv Loading commit data...
iprover.drv Loading commit data...
ocaml.drv Loading commit data...
pvs-common.gen Loading commit data...
pvs-realize.drv Loading commit data...
pvs.drv Loading commit data...
simplify.drv Loading commit data...
spass.drv Loading commit data...
tptp-tff.drv Loading commit data...
tptp.gen Loading commit data...
vampire.drv Loading commit data...
verit.drv Loading commit data...
why3.drv Loading commit data...
why3_smt.drv Loading commit data...
why3_tptp.drv Loading commit data...
yices.drv Loading commit data...
yices_bare.drv Loading commit data...
z3.drv Loading commit data...
z3_bare.drv Loading commit data...
z3_smtv1.drv Loading commit data...
zenon.drv Loading commit data...