[ Bron: coq-unicoq ]
Pakket: libcoq-unicoq (1.6-8.19-2 en anderen)
Verwijzigingen voor libcoq-unicoq
Debian bronnen:
Het bronpakket coq-unicoq downloaden:
Beheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
enhanced unification algorithm for Coq
This package provides a new unification algorithm, replacing the existing one through a plugin.
Coq is a proof assistant for higher-order logic.
Andere aan libcoq-unicoq gerelateerde pakketten
|
|
|
|
-
- dep: libcoq-stdlib-orhs4
- virtueel pakket geboden door libcoq-stdlib