https://github.com/gmalecha/coq-k

Some formalization of the K framework in Coq
https://github.com/gmalecha/coq-k

Last synced: about 1 month ago
JSON representation

Some formalization of the K framework in Coq

• Host: GitHub
• URL: https://github.com/gmalecha/coq-k
• Owner: gmalecha
• Created: 2019-08-03T03:53:25.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2019-08-03T03:56:23.000Z (over 5 years ago)
• Last Synced: 2023-04-30T20:32:50.457Z (over 1 year ago)
• Language: Coq
• Size: 2.93 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project