package coq-relation-algebra

You can search for identifiers within the package.

in-package search v0.2.0

Compatibility package for rocq-relation-algebra

Install

Dune Dependency

perso.ens-lyon.fr Edit opam file Versions (17)

Authors

D

Damien Pous <Damien.Pous@ens-lyon.fr>

Maintainers

D

Damien Pous <Damien.Pous@ens-lyon.fr>

Sources

sha512=9e2e88d3fa35d7d84c0d16e08e1875a2aae0a66a5012946642c7262f8d96c94eeac9e93dd1045ca8c862ad418133c15a51851d1107b3de1dc8301d91bb0247ce

Description

Published: 19 Sep 2025

Dependencies (2)

rocq-relation-algebra = version
coq-core

Dev Dependencies

None

Used by (2)

Conflicts

None

On This Page

Description
Dependencies (2)
Dev Dependencies
Used by (2)
Conflicts