R. RyanTM fe1239c794 lean: 3.25.0 -> 3.26.0		2021-01-29 05:15:16 +00:00
..
abc
abella
acgtk
aiger
alt-ergo
aspino
avy
beluga
boolector
btor2tools
cadical
cedille
celf
clprover
coq	treewide: remove implicit use of stdenv.lib	2021-01-27 20:04:57 +07:00
coq2html
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
drat-trim
ekrhyper
elan
eprover
fast-downward
gappa
glucose
hol
hol_light
iprover
isabelle	isabelle: provide perl LWP for remote_vampire	2021-01-28 11:05:39 +01:00
jonprl
key
lci
lean	lean: 3.25.0 -> 3.26.0	2021-01-29 05:15:16 +00:00
lean2
leo2
leo3
lingeling
logisim
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
open-wbo
opensmt
ott
otter
petrinizer	treewide: remove stdenv where not needed	2021-01-25 18:31:47 +01:00
picosat
poly
potassco
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools	saw-tools: update license (#110920)	2021-01-27 17:52:41 +01:00
spass
statverif
stp
symbiyosys
tamarin-prover
tlaplus
tptp
twelf
vampire
verifast
verit
why3
workcraft
yices
z3