Published July 4, 2024
| Version v1
Software
Open
Tachis: Higher-Order Separation Logic with Credits for Expected Costs - Coq Artifact
Creators
Files
artifact-tachis.zip
Files
(2.4 GB)
Name | Size | Download all |
---|---|---|
md5:26102f2f02cf0012f9dffaeadfe55177
|
2.4 GB | Preview Download |
Additional details
Related works
- Is supplement to
- Preprint: 10.48550/arXiv.2405.20083 (DOI)
Software
- Repository URL
- http://github.com/logsem/clutch
- Programming language
- Coq