 | EasyChair Smart Slide | Docs/Log in |
| Home |
Title:Preliminary Report on the Yalla Library
Authors:Olivier Laurent
Conference:Coq Workshop 2018
Tags:Coq library, deep embedding, exchange rule, finite multisets, linear logic, permutations and standard library
Abstract:
Yet Another deep embedding of Linear Logic in Coq
We present some results and comments around the ongoing development of the Yalla library which provides a deep embedding of linear logic in Coq relying on an explicit exchange rule.
