3
0
Fork 0
forked from mirrors/nixpkgs
nixpkgs/pkgs/applications/science/logic
2016-04-13 22:16:48 +03:00
..
abc
abella
acgtk
alt-ergo
boolector
coq coq: 8.5 -> 8.5pl1 2016-04-12 19:43:11 +02:00
cvc3
cvc4
ekrhyper
eprover
gappa
hol
hol_light
iprover
isabelle
jonprl
lci
lean
leo2
logisim
ltl2ba
matita
mcrl2 mcrl2: 2009.01 -> 2014.09 2016-04-12 22:16:30 +02:00
metis-prover
minisat
opensmt
ott
otter
picosat
prooftree
prover9
sad
satallax
saw-tools
spass
stp
tptp
twelf
verifast
verit
why3
yices
z3
z3_opt