https://github.com/runtimeverification/kontrol-demo
Foundry blog posts' executable demos
https://github.com/runtimeverification/kontrol-demo
ethereum smart-contracts
Last synced: 5 months ago
JSON representation
Foundry blog posts' executable demos
- Host: GitHub
- URL: https://github.com/runtimeverification/kontrol-demo
- Owner: runtimeverification
- Created: 2022-09-15T19:20:11.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2025-04-30T07:19:40.000Z (about 1 year ago)
- Last Synced: 2025-04-30T08:30:29.385Z (about 1 year ago)
- Topics: ethereum, smart-contracts
- Language: Solidity
- Homepage:
- Size: 275 KB
- Stars: 12
- Watchers: 20
- Forks: 4
- Open Issues: 4
-
Metadata Files: