package coq-mathcomp-ssreflect
The Mathematical Components library
Install
Dune Dependency
Authors
Maintainers
Sources
mathcomp-1.7.0.tar.gz
md5=e1bde60e67844e692f88c5d64a44004e
Description
Tags
keyword:small scale reflection keyword:mathematical components keyword:odd order theoremPublished: 24 Apr 2018
Dev Dependencies
None
Used by (23)
- coq-coqeal-theory
-
coq-coquelicot
>= "2.1.1" -
coq-disel
< "2.2" -
coq-disel-examples
< "2.2" -
coq-extructures
< "0.2.0" -
coq-fcsl-pcm
< "1.1.1" - coq-hanoi
-
coq-interval
< "4.11.1" -
coq-iris
= "3.1.0" - coq-lemma-overloading
-
coq-mathcomp-analysis
< "0.2.0" - coq-mathcomp-bigenough
-
coq-mathcomp-fingroup
= "1.7.0" -
coq-mathcomp-finmap
< "1.2.0" -
coq-mathcomp-multinomials
< "1.2" -
coq-mathcomp-odd-order
= "1.7.0" -
coq-mathcomp-sum-of-two-square
>= "1.0.1" - coq-msets-extra
-
coq-plouffe
>= "1.2.0" -
coq-quickchick
>= "1.0.1" -
coq-reglang
< "1.1" - coq-vellvm
-
coq-wasm
>= "2.0.1"
Conflicts
None
On This Page