package coq-catt-plugin

Overview
Docs

You can search for identifiers within the package.

in-package search v0.2.0

A Coq plugin for the catt proof-assistant

Install

Dune Dependency

github.com Readme Changelog Edit opam file Versions (1)

Authors

T

Thibaut Benjamin <thibaut.benjamin@gmail.com>
C

Chiara Sarti <cs2197@cam.ac.uk>

Maintainers

T

Thibaut Benjamin <thibaut.benjamin@gmail.com>
C

Chiara Sarti <cs2197@cam.ac.uk>

Sources

catt-1.0.tbz

sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb

sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b

doc/src/coq-catt-plugin.lib/coq_plugin.ml.html

Source file `coq_plugin.ml`

1
2
3
4
5
6
7
(* generated by dune *)

(** @canonical Coq_plugin.Export *)
module Export = Coq_plugin__Export

(** @canonical Coq_plugin.G_catt *)
module G_catt = Coq_plugin__G_catt

package coq-catt-plugin

Install

Dune Dependency

Authors

Maintainers

Sources

doc/src/coq-catt-plugin.lib/coq_plugin.ml.html

Source file coq_plugin.ml

Source file `coq_plugin.ml`