| .. |
|
abella
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
avy
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
cedille
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
clprover
|
|
|
|
coq
|
Rename coq-stdlib into rocq-core
|
2024-12-13 11:42:53 +01:00 |
|
cubicle
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
cvc3
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
cvc5
|
cvc5: enable tests
|
2024-08-18 14:56:37 +01:00 |
|
easycrypt
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
ekrhyper
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
eprover
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
glucose
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
hol_light
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
klee
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
leo2
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
leo3
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
potassco
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
prooftree
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
satallax
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
spass
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
statverif
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
tamarin-prover
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
tlaplus
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
vampire
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
verit
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
why3
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
yices
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
|
z3
|
treewide: format all inactive Nix files
|
2024-12-10 20:26:33 +01:00 |
