GitHub repository: ppedrot/ll-coq
Primary language: Coq
Description: Some Coq formalizations of Linear Logic