pi8027 / lambda-calculusLinks

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
81Updated 4 years ago

Alternatives and similar repositories for lambda-calculus

Users that are interested in lambda-calculus are comparing it to the libraries listed below

Sorting: