package coq-yalla
Yalla library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.4.tar.gz
sha256=e1a86831d86642724b357c61f02377ff11c91d1f98b616f6dbd37aa34485e9c1
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:2023-04-09 logpath:YallaPublished: 11 Apr 2023
On This Page