https://github.com/runtimeverification/kavm-demo
https://github.com/runtimeverification/kavm-demo
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/runtimeverification/kavm-demo
- Owner: runtimeverification
- Created: 2022-11-18T15:42:43.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2024-01-11T20:15:30.000Z (over 2 years ago)
- Last Synced: 2024-04-14T07:22:32.563Z (about 2 years ago)
- Language: Python
- Size: 572 KB
- Stars: 7
- Watchers: 15
- Forks: 1
- Open Issues: 4