package coq-yalla
Yalla library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.2.tar.gz
sha256=f8d18d3a12485605ee9530c17695a68b4401ecd472f4ac8bab510db9a98b3fc4
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:2021-01-13 logpath:YallaPublished: 13 Jan 2021
On This Page