package coq-metacoq-translations
Translations built on top of MetaCoq
Install
Dune Dependency
Authors
Maintainers
Sources
v1.0-beta1-8.11.tar.gz
sha256=1644c5bd9d02385c802535c6c46dbcaf279afcecd4ffb3da5fae08618c628c75
Description
MetaCoq is a meta-programming framework for Coq.
The Translations modules provides implementation of standard translations
from type theory to type theory, e.g. parametricity and the cross-bool
translation that invalidates functional extensionality.
Published: 22 Sep 2020
Dependencies (6)
-
coq-metacoq-checker
= version
-
coq-metacoq-template
= version
-
conf-time
build
-
conf-python-3
build
-
coq
>= "8.11" & < "8.12~"
-
ocaml
>= "4.07.1"
Dev Dependencies
None
Used by (1)
-
coq-metacoq
= "1.0~beta1+8.11"
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page