https://github.com/sec-bit/loopring-protocol2-verification
https://github.com/sec-bit/loopring-protocol2-verification
Last synced: 12 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/sec-bit/loopring-protocol2-verification
- Owner: sec-bit
- License: mit
- Created: 2018-11-27T01:19:41.000Z (over 7 years ago)
- Default Branch: master
- Last Pushed: 2018-12-15T09:20:53.000Z (over 7 years ago)
- Last Synced: 2023-03-06T13:37:35.485Z (over 3 years ago)
- Language: Coq
- Size: 288 KB
- Stars: 3
- Watchers: 2
- Forks: 2
- Open Issues: 0