You are viewing the staging branch of the website @ 58d46ed, not the live version.

package coq-ground

You can search for identifiers within the package.

in-package search v0.2.0

Ground : A Useful Extension to Coq's Standard Library

Install

Dune Dependency

gitlab.com Edit opam file Versions (1)

Authors

J

Joan Thibault <joan.thibault@ens-rennes.fr>

Maintainers

J

Joan Thibault <joan.thibault@ens-rennes.fr>

Sources

ground-v0.01.tar.gz

sha512=d2814b5eac7b7ac7619fd86007742ee98bc94f57f3dc34c3b4d5e6ad0c0ec4aecdfff5e243921a464bb7498b1c9ed1458a337b9006b82e70ab92d8d6c24a8748

Description

Published: 19 Dec 2021

Dependencies (1)

coq >= "8.14.0"

Dev Dependencies

None

Used by

None

Conflicts

None

On This Page

Description
Dependencies (1)
Dev Dependencies
Used by
Conflicts