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---------
anders
39
log
plain
d---------
aspino
39
log
plain
d---------
avy
131
log
plain
d---------
beluga
39
log
plain
d---------
bitwuzla
39
log
plain
d---------
boolector
84
log
plain
d---------
btor2tools
39
log
plain
d---------
cadical
39
log
plain
d---------
cbmc
110
log
plain
d---------
cedille
118
log
plain
d---------
celf
39
log
plain
d---------
clprover
40
log
plain
d---------
coq
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
147
log
plain
d---------
cvc5
39
log
plain
d---------
dafny
75
log
plain
d---------
drat-trim
39
log
plain
d---------
easycrypt
78
log
plain
d---------
egglog
77
log
plain
d---------
ekrhyper
39
log
plain
d---------
elan
107
log
plain
d---------
eprover
39
log
plain
d---------
fast-downward
39
log
plain
d---------
formula
76
log
plain
d---------
gappa
39
log
plain
d---------
glucose
39
log
plain
d---------
hol
39
log
plain
d---------
hol_light
39
log
plain
d---------
iprover
39
log
plain
d---------
isabelle
76
log
plain
d---------
key
39
log
plain
d---------
kissat
94
log
plain
d---------
klee
82
log
plain
d---------
lci
39
log
plain
d---------
lean
39
log
plain
d---------
lean2
39
log
plain
d---------
lean4
39
log
plain
d---------
leo2
39
log
plain
d---------
leo3
38
log
plain
d---------
lingeling
39
log
plain
d---------
logisim-evolution
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---------
naproche
39
log
plain
d---------
netlistsvg
118
log
plain
d---------
nuXmv
39
log
plain
d---------
nusmv
39
log
plain
d---------
open-wbo
39
log
plain
d---------
opensmt
39
log
plain
d---------
ott
39
log
plain
d---------
petrinizer
39
log
plain
d---------
picosat
39
log
plain
d---------
poly
39
log
plain
d---------
potassco
78
log
plain
d---------
prooftree
39
log
plain
d---------
prover9
39
log
plain
d---------
proverif
39
log
plain
d---------
redprl
39
log
plain
d---------
satallax
93
log
plain
d---------
saw-tools
39
log
plain
d---------
sharpsat-td
39
log
plain
d---------
spass
39
log
plain
d---------
statverif
39
log
plain
d---------
stp
39
log
plain
d---------
surelog
39
log
plain
d---------
symbiyosys
39
log
plain
d---------
symfpu
39
log
plain
d---------
tamarin-prover
39
log
plain
d---------
tlaplus
156
log
plain
d---------
tptp
39
log
plain
d---------
twelf
39
log
plain
d---------
uhdm
39
log
plain
d---------
vampire
39
log
plain
d---------
verifast
39
log
plain
d---------
verit
39
log
plain
d---------
why3
83
log
plain
d---------
workcraft
39
log
plain
d---------
yices
90
log
plain
d---------
z3
75
log
plain
d---------
zchaff
83
log
plain