Skip to content
<awesome-gh-repos>
vic

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
mcopes73/standardization-agda.json
{
  "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