-
Notifications
You must be signed in to change notification settings - Fork 0
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.
mcopes73/standardization-agda
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
About
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.
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published