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.17.tar.gz

sha512=188aad5027880f70c75f84425f45418e4ba9f8759c7d19bba2735ad826b12b230eb8fd583cf6c9ad4d3ae1789ddf30010798cf8ca1a1cdbacdf563d7606c75af

Description

Tags

logpath:Unicoq date:2023-03-28

Published: 31 Mar 2023

Dependencies (2)

coq >= "8.17" & < "8.18~"
ocaml

Dev Dependencies

None

Used by (1)

coq-mtac2

Conflicts

None

On This Page

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