/Lambda-Calculi-Coq

Lambda-Calculi implementations & proofs in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers