package coq-serapi
Sexp Protocol for machine-based interaction with the Coq Proof Assistant
Install
Dune Dependency
Authors
Maintainers
Sources
8.8.0+0.5.3.tar.gz
sha256=85a5656b2a64da53c6ad3616738faeb6f82c9605a4e3170acd51ecfd188ccd3b
md5=5fbe0ab4c29f34712143ddba53ddabd8
Description
Published: 18 Sep 2018
Dependencies (10)
-
ppx_sexp_conv
>= "v0.11.0" & < "v0.13"
-
ppx_deriving
>= "4.2.1"
-
ppx_import
>= "1.4" & < "2.0"
-
ocamlbuild
build
-
ocamlfind
build
-
sexplib
< "v0.13"
-
cmdliner
>= "0.9.8" & < "1.1.0"
- camlp5
-
coq
>= "8.8.0" & < "8.9"
-
ocaml
>= "4.06.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page