package coq
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Formal proof management system
Install
Dune Dependency
Authors
Maintainers
Sources
coq-8.3pl5.tar.gz
md5=b16741e211e98a3a3870a105aa0cb9fe
Description
Published: 21 Nov 2013
Dependencies (5)
-
conf-findutils
build
- num
-
ocamlbuild
build
-
camlp5
!= "5.00" & < "8"
-
ocaml
>= "3.10.2" & < "4.02.0"
Dev Dependencies
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page