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