Published July 4, 2024 | Version v1
Software Open

Tachis: Higher-Order Separation Logic with Credits for Expected Costs - Coq Artifact

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