package coq

  1. Overview
  2. Docs
On This Page
  1. Hardwired data

Module Ltac2_plugin.Tac2coreSource

Hardwired data
Sourcemodule Core : sig ... end