https://github.com/phadej/ncill

Agda mechanization of cut elimination in Non-Commutative Intuitionistic Linear Logic
https://github.com/phadej/ncill

Last synced: about 5 hours ago
JSON representation

Agda mechanization of cut elimination in Non-Commutative Intuitionistic Linear Logic

• Host: GitHub
• URL: https://github.com/phadej/ncill
• Owner: phadej
• Created: 2018-08-30T11:05:43.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2019-06-26T11:12:49.000Z (over 5 years ago)
• Last Synced: 2024-10-11T23:53:31.792Z (26 days ago)
• Language: Agda
• Size: 25.4 KB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project