package coq-yalla
Yalla library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.6.tar.gz
sha256=a3eff3e456333e72a85c758530588d6d7c7ee071b9e56b013245b55e540e8e9c
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:2024-09-16 logpath:YallaPublished: 16 Sep 2024
On This Page