GitHub repository: meta-logic/coq-ll
Primary language: Coq
Created: 2017-08-03T08:47:26Z
Description: Formalization of Linear Logic in Coq