package coq-serapi

  1. Overview
  2. Docs
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

OCaml

Innovation. Community. Security.