index
:
nixlib
this commit
master
sixos
Alyssa's collection of Nix expressions
Alyssa Ross
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
Mode
Name
Size
d---------
abc
39
log
plain
d---------
abella
39
log
plain
d---------
acgtk
39
log
plain
d---------
aiger
39
log
plain
d---------
alt-ergo
39
log
plain
d---------
aspino
39
log
plain
d---------
avy
190
log
plain
d---------
beluga
39
log
plain
d---------
boolector
39
log
plain
d---------
btor2tools
39
log
plain
d---------
cedille
39
log
plain
d---------
celf
39
log
plain
d---------
clprover
40
log
plain
d---------
coq
39
log
plain
d---------
coq2html
39
log
plain
d---------
cryptominisat
39
log
plain
d---------
cryptoverif
39
log
plain
d---------
cubicle
39
log
plain
d---------
cvc3
93
log
plain
d---------
cvc4
85
log
plain
d---------
drat-trim
39
log
plain
d---------
ekrhyper
83
log
plain
d---------
elan
39
log
plain
d---------
eprover
39
log
plain
d---------
fast-downward
39
log
plain
d---------
gappa
39
log
plain
d---------
glucose
76
log
plain
d---------
hol
39
log
plain
d---------
hol_light
39
log
plain
d---------
iprover
39
log
plain
d---------
isabelle
39
log
plain
d---------
jonprl
39
log
plain
d---------
lci
39
log
plain
d---------
lean
39
log
plain
d---------
lean2
39
log
plain
d---------
leo2
83
log
plain
d---------
leo3
38
log
plain
d---------
lingeling
39
log
plain
d---------
logisim
39
log
plain
d---------
ltl2ba
39
log
plain
d---------
mcrl2
39
log
plain
d---------
mcy
39
log
plain
d---------
metis-prover
39
log
plain
d---------
minisat
39
log
plain
d---------
monosat
39
log
plain
d---------
open-wbo
39
log
plain
d---------
opensmt
39
log
plain
d---------
ott
39
log
plain
d---------
otter
39
log
plain
d---------
petrinizer
113
log
plain
d---------
picosat
39
log
plain
d---------
poly
39
log
plain
d---------
potassco
121
log
plain
d---------
prooftree
39
log
plain
d---------
prover9
39
log
plain
d---------
proverif
39
log
plain
d---------
redprl
39
log
plain
d---------
sad
112
log
plain
d---------
satallax
93
log
plain
d---------
saw-tools
39
log
plain
d---------
spass
39
log
plain
d---------
statverif
39
log
plain
d---------
stp
39
log
plain
d---------
symbiyosys
39
log
plain
d---------
tamarin-prover
85
log
plain
d---------
tlaplus
115
log
plain
d---------
tptp
39
log
plain
d---------
twelf
39
log
plain
d---------
vampire
39
log
plain
d---------
verifast
39
log
plain
d---------
verit
39
log
plain
d---------
why3
126
log
plain
d---------
workcraft
39
log
plain
d---------
yices
39
log
plain
d---------
z3
75
log
plain