package coq-equations

  1. Overview
  2. No Docs
A function definition package for Coq

Install

Dune Dependency

mattam82.github.io Edit opam file Versions (33)

Authors

  1. M
    Matthieu Sozeau <matthieu.sozeau@inria.fr>
  2. C
    Cyprien Mangin <cyprien.mangin@m4x.org>

Maintainers

  1. M
    matthieu.sozeau@inria.fr

Sources

v1.0-8.6-beta2.tar.gz
md5=983f6580b9fcf5aaa6dce7e05bc37efe

Description

Published: 21 Nov 2017

Dependencies (2)

  1. coq >= "8.6" & < "8.7"
  2. ocaml

Dev Dependencies

None

Used by (1)

  1. coq-vlsm >= "1.2"

Conflicts

None