Published May 2025
| Version v4
Software
Open
Grits: Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax) (artefact for Coordination'24)
Authors/Creators
Description
Artefact for the paper 'Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)' (published in Coordination'24 and SCP)
Files
Grits.zip
Files
(522.5 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:4f4faaf8d8c46aa47824c1434399c618
|
522.5 kB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/gertab/Grits