package coq-unicoq

You can search for identifiers within the package.

in-package search v0.2.0

An enhanced unification algorithm for Coq

Install

Dune Dependency

github.com Edit opam file Versions (16)

Authors

Maintainers

M

matthieu.sozeau@inria.fr

Sources

v1.6-8.19.tar.gz

sha512=2b7787d4f6913e0ec89c2480be51d6e254933a47b464df9d336ca1e23f3c0a25197b0403040fcd0d9a996e28a6722615e879d34af49eef496c9952d940358fa4

Description

Tags

logpath:Unicoq date:2024-04-22

Published: 24 Apr 2024

Dependencies (2)

coq >= "8.19" & < "8.20~"
ocaml

Dev Dependencies

None

Used by (1)

coq-mtac2

Conflicts

None

On This Page

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