package coq-color

  1. Overview
  2. No Docs
A library on rewriting theory and termination

Install

Dune Dependency

color.inria.fr Edit opam file Versions (14)

Authors

  1. F
    Frédéric Blanqui
  2. A
    Adam Koprowski
  3. S
    Sébastien Hinderer
  4. P
    Pierre-Yves Strub
  5. S
    Sidi Ould Biha
  6. S
    Solange Coupet-Grimal
  7. W
    William Delobel
  8. H
    Hans Zantema
  9. S
    Stéphane Leroux
  10. L
    Léo Ducas
  11. J
    Johannes Waldmann
  12. Q
    Qiand Wang
  13. L
    Lianyi Zhang
  14. S
    Sorin Stratulat

Maintainers

  1. F
    frederic.blanqui@inria.fr

Sources

color.1.0.0.tar.gz
md5=5277b9cfe0cb609f32dd5deb7795fb45

Description

Published: 25 Nov 2015

Dependencies (2)

  1. coq >= "8.4pl2" & < "8.5~"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None