This website requires JavaScript.
Explore
Help
Sign In
NixOS
/
nixpkgs
Watch
1
Star
0
Fork
You've already forked nixpkgs
0
mirror of
https://github.com/NixOS/nixpkgs
synced
2024-10-19 03:47:13 -04:00
Code
Activity
e91e1cfe76
nixpkgs
/
pkgs
/
applications
/
science
/
logic
History
Russell O'Connor
bec1a9c44f
update coq to 8.3pl1
...
update ssreflect to 1.3pl1 svn path=/nixpkgs/trunk/; revision=26692
2011-04-05 11:59:25 +00:00
..
coq
update coq to 8.3pl1
2011-04-05 11:59:25 +00:00
cvc3
eProver
hol
hol_light
iprover
isabelle
leo2
matita
Matita and its dependencies.
2010-12-31 17:48:55 +00:00
minisat
opensmt
prover9
satallax
spass
ssreflect
update coq to 8.3pl1
2011-04-05 11:59:25 +00:00