GitHub repository: olaure01/yalla
Primary language: Coq
Created: 2018-05-28T21:08:55Z
Description: Yet Another deep embedding of Linear Logic in Coq