package coq-catt-plugin

  1. Overview
  2. Docs
A Coq plugin for the catt proof-assistant

Install

Dune Dependency

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

Authors

  1. T
    Thibaut Benjamin <thibaut.benjamin@gmail.com>
  2. C
    Chiara Sarti <cs2197@cam.ac.uk>

Maintainers

  1. T
    Thibaut Benjamin <thibaut.benjamin@gmail.com>
  2. C
    Chiara Sarti <cs2197@cam.ac.uk>

Sources

catt-1.0.tbz
sha256=20a0b4aae3655274cb7336cb158699ceb1ee29909e50405d0ccb9d54d985baeb
sha512=1919da8eea60817a0907be4aa6f399a9e66fc8746d190ea805de8721a44f5f8a68b9c67626b7767e42a7cd0f061e00c16cd6c63570cbdedf15bc31f8b598f72b

doc/coq-catt-plugin.lib/Coq_plugin/index.html

Module Coq_pluginSource

Sourcemodule Export : sig ... end
Sourcemodule G_catt : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct