/lambda-calculus

Proof of the Church-Rosser theorem using locally nameless representation in Coq

Primary LanguageCoqMIT LicenseMIT

Stargazers

No one’s star this repository yet.