package coq-serapi
Serialization library and protocol for machine interaction with the Coq proof assistant
Install
Dune Dependency
Authors
Maintainers
Sources
coq-serapi-8.20.0.0.20.0.tbz
sha256=ead9382f111ea385008fe9037513ff1f738dd90d8e989b8d1a0c9290963d9afe
sha512=b29103c2d1eb3cf8a33fa9ddf26b5a6c89e7277cd31256589bcae8a89c37a3de7a3c3e7fe5d376358e874d44dc6c60ab96736cbd1037511ab36705e9f40f0ade
doc/src/coq-serapi.serapi_v8_14/serapi.ml.html
Source file serapi.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
(* generated by dune *) (** @canonical Serapi.Serapi_assumptions *) module Serapi_assumptions = Serapi__Serapi_assumptions (** @canonical Serapi.Serapi_doc *) module Serapi_doc = Serapi__Serapi_doc (** @canonical Serapi.Serapi_goals *) module Serapi_goals = Serapi__Serapi_goals (** @canonical Serapi.Serapi_paths *) module Serapi_paths = Serapi__Serapi_paths (** @canonical Serapi.Serapi_pp *) module Serapi_pp = Serapi__Serapi_pp (** @canonical Serapi.Serapi_protocol *) module Serapi_protocol = Serapi__Serapi_protocol
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>