https://github.com/wenkokke/msla2014

wherein I implement several substructural logics in Agda
https://github.com/wenkokke/msla2014

agda paper substructural-logics

Last synced: 10 days ago
JSON representation

wherein I implement several substructural logics in Agda

• Host: GitHub
• URL: https://github.com/wenkokke/msla2014
• Owner: wenkokke
• Created: 2013-12-30T15:08:27.000Z (almost 11 years ago)
• Default Branch: master
• Last Pushed: 2018-10-08T20:12:28.000Z (about 6 years ago)
• Last Synced: 2023-03-23T09:31:48.677Z (over 1 year ago)
• Topics: agda, paper, substructural-logics
• Language: Agda
• Homepage:
• Size: 2.04 MB
• Stars: 24
• Watchers: 5
• Forks: 2
• Open Issues: 0

Awesome Lists containing this project