This website requires JavaScript.
Explore
Help
Sign In
public
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
7829f94244bac9caf7056e121d9e8517153f9a2b
nixpkgs
/
pkgs
/
development
/
coq-modules
History
Vincent Laporte
de8205f8bb
coq_8_13: init at 8.13+β1
2020-12-15 21:13:40 +01:00
..
autosubst
…
bignums
coq_8_13: init at 8.13+β1
2020-12-15 21:13:40 +01:00
category-theory
…
Cheerios
…
CoLoR
…
contribs
…
coq-bits
…
coq-elpi
…
coq-ext-lib
coqPackages.coq-ext-lib: 0.11.2 → 0.11.3
2020-12-01 22:02:08 +01:00
coq-haskell
…
coqhammer
…
coqprime
…
coquelicot
…
corn
…
dpdgraph
coqPackages.dpdgraph: do not depend on camlp5 for recent versions of Coq
2020-10-09 16:32:48 +02:00
equations
…
fiat
…
flocq
…
gappalib
…
heq
…
hierarchy-builder
…
HoTT
…
InfSeqExt
…
interval
…
iris
…
ltac2
…
math-classes
…
mathcomp
coq_8_13: init at 8.13+β1
2020-12-15 21:13:40 +01:00
metalib
…
paco
coqPackages.paco: 4.0.0 → 4.0.2
2020-10-12 09:41:45 +02:00
paramcoq
…
QuickChick
…
simple-io
…
stdpp
…
StructTact
…
tlc
…
Velisarios
…
Verdi
…
VST
…
