/lambda-formalizations

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

Primary LanguageCoqMIT LicenseMIT

No issues in this repository yet.