https://github.com/yaccconstructor/yc_in_coq

Some parts of formal language theory in Coq
https://github.com/yaccconstructor/yc_in_coq

Last synced: about 1 month ago
JSON representation

Some parts of formal language theory in Coq

• Host: GitHub
• URL: https://github.com/yaccconstructor/yc_in_coq
• Owner: YaccConstructor
• License: apache-2.0
• Created: 2017-03-02T12:05:29.000Z (almost 8 years ago)
• Default Branch: master
• Last Pushed: 2018-08-16T18:06:33.000Z (over 6 years ago)
• Last Synced: 2023-08-06T20:56:40.174Z (over 1 year ago)
• Language: Coq
• Homepage: https://yaccconstructor.github.io/YC_in_Coq
• Size: 483 KB
• Stars: 1
• Watchers: 16
• Forks: 3
• Open Issues: 3

Awesome Lists containing this project