mcopes73/standardization-agda

A machine checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution. The proof hereby presented follows the structure of the one presented by Ryo Kashima.

Source code at GitHub null

{
  "createdAt": "2018-02-12T12:02:08Z",
  "defaultBranch": "master",
  "description": "A machine checked proof of the Standardization Theorem in Lambda Calculus using multiple substitution. The proof hereby presented follows the structure of the one presented by Ryo Kashima.",
  "fullName": "mcopes73/standardization-agda",
  "homepage": null,
  "language": "Agda",
  "name": "standardization-agda",
  "pushedAt": "2018-02-12T12:05:19Z",
  "stargazersCount": 7,
  "topics": [],
  "updatedAt": "2021-12-20T11:33:33Z",
  "url": "https://github.com/mcopes73/standardization-agda"
}

404: Not Found