tjh.dev / nixpkgs
nixpkgs mirror (for testing) github.com/NixOS/nixpkgs
nix
fork atom
nixpkgs / pkgs / applications / science / logic /
at devShellTools-shell 26 folders
abella
avy
cedille
coq
cubicle
cvc3
cvc5
easycrypt
ekrhyper
eprover
glucose
hol_light
klee
leo2
leo3
prooftree
rocq-core
satallax
spass
statverif
tamarin-prover
tlaplus
vampire
verit
why3
yices