package coq-serapi
Serialization library and protocol for machine interaction with the Coq proof assistant
Install
Dune Dependency
Authors
Maintainers
Sources
coq-serapi-8.18.0.0.18.2.tbz
sha256=0fcf20002a6856b6d2485dcb55d388558dd771a8dcb99f5c614b8f5519f90801
sha512=45fa6873a65160624952de89d51ab3c44522c3485e945974e5fe97bc3c5214fa7955cd993f69bc1b87b3cfce77fde81b39ec9a43263ab4a14513a13b7c6ded92
doc/index.html
coq-serapi
API
Library coq-serapi.extcoq
Library coq-serapi.serapi_v8_14
Library coq-serapi.serlib
Library coq-serapi.sertop_v8_12
Library serlib_cc
Library serlib_extraction
Library serlib_firstorder
Library serlib_funind
Library serlib_ltac
Library serlib_ltac2
Library serlib_micromega
Library serlib_number_string_notation_plugin
Library serlib_ring
Library serlib_ssr
Library serlib_ssrmatching
Library serlib_tauto
Library serlib_zify
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
-
API
- Library coq-serapi.extcoq
- Library coq-serapi.serapi_v8_14
- Library coq-serapi.serlib
- Library coq-serapi.sertop_v8_12
- Library serlib_cc
- Library serlib_extraction
- Library serlib_firstorder
- Library serlib_funind
- Library serlib_ltac
- Library serlib_ltac2
- Library serlib_micromega
- Library serlib_number_string_notation_plugin
- Library serlib_ring
- Library serlib_ssr
- Library serlib_ssrmatching
- Library serlib_tauto
- Library serlib_zify