package coq-ext-lib

  1. Overview
  2. No Docs
A library of Coq definitions, theorems, and tactics

Install

Dune Dependency

github.com Edit opam file Versions (27)

Authors

  1. G
    Gregory Malecha

Maintainers

  1. M
    matthieu.sozeau@inria.fr

Sources

v0.9.2.tar.gz
md5=646a3a4865e88da7aa4039f77465cccd

Description

Published: 12 Feb 2016

Dependencies (2)

  1. coq >= "8.5.0" & < "8.5.1"
  2. ocaml

Dev Dependencies

None

Conflicts

None