https://github.com/plietar/pony-proofs

https://github.com/plietar/pony-proofs

coq pony-language

Last synced: about 2 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/plietar/pony-proofs
• Owner: plietar
• Created: 2018-01-07T20:09:05.000Z (about 7 years ago)
• Default Branch: master
• Last Pushed: 2018-01-25T05:22:51.000Z (about 7 years ago)
• Last Synced: 2024-10-30T02:38:35.812Z (3 months ago)
• Topics: coq, pony-language
• Language: Coq
• Homepage: https://plietar.github.io/pony-proofs/
• Size: 71.3 KB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:

Awesome Lists containing this project