https://github.com/runmingl/stop
Formalization of Big-Stop Semantics
https://github.com/runmingl/stop
Last synced: 4 months ago
JSON representation
Formalization of Big-Stop Semantics
- Host: GitHub
- URL: https://github.com/runmingl/stop
- Owner: runmingl
- License: gpl-3.0
- Created: 2025-06-06T04:17:26.000Z (about 1 year ago)
- Default Branch: main
- Last Pushed: 2025-12-03T22:44:59.000Z (6 months ago)
- Last Synced: 2026-01-30T18:38:10.802Z (5 months ago)
- Language: Agda
- Homepage: https://www.cs.cmu.edu/~runmingl/stop/
- Size: 122 KB
- Stars: 3
- Watchers: 0
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE