lambda-calculus
A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
77 stars
7 watching
7 forks
Language: Coq
last commit: about 4 years ago lambda-calculus A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2