Skip to content
<open-source>
Oeiuwq Faith Blog OpenSource Porfolio

pi8027/lambda-calculus

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
Source code at GitHub https://github.com/pi8027/lambda-calculus
pi8027/lambda-calculus.json
{
  "createdAt": "2012-12-22T05:12:48Z",
  "defaultBranch": "master",
  "description": "A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2",
  "fullName": "pi8027/lambda-calculus",
  "homepage": "",
  "language": "Coq",
  "name": "lambda-calculus",
  "pushedAt": "2020-07-08T09:30:26Z",
  "stargazersCount": 85,
  "topics": [],
  "updatedAt": "2025-10-14T02:59:10Z",
  "url": "https://github.com/pi8027/lambda-calculus"
}

404: Not Found