pi8027 / lambda-calculus

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

pi8027/lambda-calculus Stargazers