package coq-color

  1. Overview
  2. Homepage
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

Rocq

Interactive Theorem Prover

Zulip GitHub Discourse Mastodon RSS
About
Changelog Releases Industrial Users Academic Users History Why Rocq? Roadmap
Ecosystem
Platform Packages Rocq Team Community Consortium Events Rocq Planet Jobs
Resources
Install Rocq Get Started Documentation Books Papers Logo
Policies
Governance Privacy Code of Conduct