https://github.com/infou012/Verification

Formal verification using Coq
https://github.com/infou012/Verification

coq

Last synced: 23 days ago
JSON representation

Formal verification using Coq

• Host: GitHub
• URL: https://github.com/infou012/Verification
• Owner: infou012
• Created: 2017-03-17T07:21:32.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-05-10T08:34:20.000Z (over 5 years ago)
• Last Synced: 2024-07-29T17:45:01.201Z (4 months ago)
• Topics: coq
• Language: Coq
• Homepage:
• Size: 4.27 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project