https://github.com/mit-pdos/deepspec-pocs

https://github.com/mit-pdos/deepspec-pocs

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/mit-pdos/deepspec-pocs
• Owner: mit-pdos
• License: other
• Created: 2017-07-19T11:07:43.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2017-07-26T15:56:10.000Z (over 7 years ago)
• Last Synced: 2024-04-30T09:03:05.359Z (8 months ago)
• Language: Coq
• Size: 137 KB
• Stars: 6
• Watchers: 5
• Forks: 1
• Open Issues: 0

Awesome Lists containing this project