https://github.com/anhmiuhv/fx10-coq

https://github.com/anhmiuhv/fx10-coq

coq coq-formalization deadlock-avoidance fx10

Last synced: 10 days ago
JSON representation

• Host: GitHub
• URL: https://github.com/anhmiuhv/fx10-coq
• Owner: anhmiuhv
• Created: 2019-11-18T06:58:00.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2019-11-18T07:02:57.000Z (almost 5 years ago)
• Last Synced: 2023-02-28T08:05:33.840Z (over 1 year ago)
• Topics: coq, coq-formalization, deadlock-avoidance, fx10
• Language: Makefile
• Size: 19.5 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project