Name
Last commit
Last update
..
alt_ergo.drv Loading commit data...
alt_ergo_smt2.drv Loading commit data...
alt_ergo_trunk.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...
gappa.drv Loading commit data...
simplify.drv Loading commit data...
tptp.drv 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...