package coq-serapi

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Serapi_assumptions : sig ... end
module Serapi_doc : sig ... end
module Serapi_goals : sig ... end
module Serapi_paths : sig ... end
module Serapi_pp : sig ... end

This module includes all of sertop custom Format-based printers for Coq datatypes.

module Serapi_protocol : sig ... end

The SerAPI Protocol