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: about 2 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 (over 7 years ago)
• Default Branch: master
• Last Pushed: 2022-11-27T20:16:56.000Z (about 2 years ago)
• Last Synced: 2024-10-11T21:51:26.285Z (3 months ago)
• Topics: coq, lambda-calculus, nominal-set, proof-assistant
• Language: Coq
• Homepage:
• Size: 218 KB
• Stars: 3
• Watchers: 3
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project