package coq-yalla
Yalla library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.1.tar.gz
sha256=e9239fb82cfe32374fbf58d69850fe8c5d189f5d2a814175b606bd6b487a0d9b
Description
YALLA: an LL library for Coq Yet Another deep embedding of Linear Logic in Coq
Tags
keyword:linear logic keyword:metatheory keyword:cut elimination category:Mathematics/Logic/Foundations date:2020-08-07 logpath:YallaPublished: 07 Aug 2020
On This Page