https://github.com/annenkov/stlcnorm
Simply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques
https://github.com/annenkov/stlcnorm
coq lambda-calculus nominal-set proof-assistant
Last synced: 4 months ago
JSON representation
Simply-typed lambda calculus and extensions: termination, extrinsic/intrinsic representations, nominal binding techniques
- Host: GitHub
- URL: https://github.com/annenkov/stlcnorm
- Owner: annenkov
- Created: 2017-07-03T15:31:00.000Z (almost 9 years ago)
- Default Branch: master
- Last Pushed: 2022-11-27T20:16:56.000Z (over 3 years ago)
- Last Synced: 2024-10-11T21:51:26.285Z (over 1 year ago)
- Topics: coq, lambda-calculus, nominal-set, proof-assistant
- Language: Coq
- Homepage:
- Size: 218 KB
- Stars: 3
- Watchers: 3
- Forks: 1
- Open Issues: 0