GitHub repository: AlexandreJSehnem/coq-cpl-to-ll-translation-proof
Primary language: Coq
Description: Formalizing the translation from classical propositional logic to linear logic in coq