https://github.com/rsilviu/coq2sol

Formal semantics for Solidity in Coq
https://github.com/rsilviu/coq2sol

coq coq-formalization solidity solidity-contracts solidity-language

Last synced: 25 days ago
JSON representation

Formal semantics for Solidity in Coq

• Host: GitHub
• URL: https://github.com/rsilviu/coq2sol
• Owner: RSilviu
• License: mit
• Created: 2018-05-10T18:33:36.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2019-06-30T18:52:31.000Z (over 5 years ago)
• Last Synced: 2024-10-09T12:39:32.748Z (about 1 month ago)
• Topics: coq, coq-formalization, solidity, solidity-contracts, solidity-language
• Language: Coq
• Homepage:
• Size: 73.2 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project