package coq-yalla
Yalla library
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.3.tar.gz
sha256=f697893bced20d186f43f21c5ec1165e8e1e40a42c23bbb3c59be5eb91134c5c
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:2022-02-06 logpath:YallaPublished: 06 Feb 2022
On This Page