index
:
nixpkgs
add-beancount-ing-diba
add-cargo-espflash
add-cargo-feature-set
add-dodo
add-ghostie
add-iceportal
add-kdash
add-ldproxy
add-nemu
add-notifymuch
add-openbbterminal
add-swappy
add-vim-plugins
backport/update-python-pscript
cargo-espflash-license
cargo-public-api
fix-node-exporter-backslash-in-exec
fix-node-exporter-backslash-in-exec-tmp
init-cjson
init-fbcat
init-pdfium
init-prometheus-mpd-exporter
init-tageditor
init-tpm2-tss-engine
init-unused
master
mdbook-toc
nixos-22.11
submitting-changes-gitrm
update-bison
update-gitlint
update-libquotient
update-mdbook-open-on-gh
update-mutt
update-python-pscript
update-rust-analyzer
update-some-packages
update-tageditor
update-tasknc
update-tig
update-toot
update-ugrep
update-wordgrinder
update-zellij
updates
Contrib clone of nixpkgs
matthias
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
pkgs
/
applications
/
science
/
logic
Mode
Name
Size
d---------
abc
39
log
stats
plain
d---------
abella
39
log
stats
plain
d---------
acgtk
39
log
stats
plain
d---------
aiger
39
log
stats
plain
d---------
alt-ergo
39
log
stats
plain
d---------
aspino
39
log
stats
plain
d---------
avy
190
log
stats
plain
d---------
beluga
39
log
stats
plain
d---------
boolector
84
log
stats
plain
d---------
btor2tools
39
log
stats
plain
d---------
cadical
39
log
stats
plain
d---------
cedille
39
log
stats
plain
d---------
celf
39
log
stats
plain
d---------
clprover
40
log
stats
plain
d---------
coq
39
log
stats
plain
d---------
coq2html
39
log
stats
plain
d---------
cryptominisat
39
log
stats
plain
d---------
cryptoverif
39
log
stats
plain
d---------
cubicle
39
log
stats
plain
d---------
cvc3
93
log
stats
plain
d---------
cvc4
85
log
stats
plain
d---------
drat-trim
39
log
stats
plain
d---------
ekrhyper
83
log
stats
plain
d---------
elan
39
log
stats
plain
d---------
eprover
39
log
stats
plain
d---------
fast-downward
39
log
stats
plain
d---------
gappa
39
log
stats
plain
d---------
glucose
76
log
stats
plain
d---------
hol
39
log
stats
plain
d---------
hol_light
39
log
stats
plain
d---------
iprover
39
log
stats
plain
d---------
isabelle
39
log
stats
plain
d---------
jonprl
39
log
stats
plain
d---------
lci
39
log
stats
plain
d---------
lean
39
log
stats
plain
d---------
lean2
39
log
stats
plain
d---------
leo2
83
log
stats
plain
d---------
leo3
38
log
stats
plain
d---------
lingeling
39
log
stats
plain
d---------
logisim
39
log
stats
plain
d---------
ltl2ba
39
log
stats
plain
d---------
mcrl2
39
log
stats
plain
d---------
mcy
39
log
stats
plain
d---------
metis-prover
39
log
stats
plain
d---------
minisat
39
log
stats
plain
d---------
monosat
39
log
stats
plain
d---------
open-wbo
39
log
stats
plain
d---------
opensmt
39
log
stats
plain
d---------
ott
39
log
stats
plain
d---------
otter
39
log
stats
plain
d---------
petrinizer
113
log
stats
plain
d---------
picosat
39
log
stats
plain
d---------
poly
39
log
stats
plain
d---------
potassco
121
log
stats
plain
d---------
prooftree
39
log
stats
plain
d---------
prover9
39
log
stats
plain
d---------
proverif
39
log
stats
plain
d---------
redprl
39
log
stats
plain
d---------
sad
118
log
stats
plain
d---------
satallax
93
log
stats
plain
d---------
saw-tools
39
log
stats
plain
d---------
spass
39
log
stats
plain
d---------
statverif
39
log
stats
plain
d---------
stp
39
log
stats
plain
d---------
symbiyosys
39
log
stats
plain
d---------
tamarin-prover
85
log
stats
plain
d---------
tlaplus
115
log
stats
plain
d---------
tptp
39
log
stats
plain
d---------
twelf
39
log
stats
plain
d---------
vampire
39
log
stats
plain
d---------
verifast
39
log
stats
plain
d---------
verit
39
log
stats
plain
d---------
why3
83
log
stats
plain
d---------
workcraft
39
log
stats
plain
d---------
yices
39
log
stats
plain
d---------
z3
75
log
stats
plain