Published December 2024
| Version v3
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)' (submitted to Coordination'24)
Files
Grits.zip
Files
(1.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:31b87efc4c7b39177331ab1e900941ff
|
1.7 MB | Preview Download |
Additional details
Software
- Repository URL
- https://github.com/gertab/Grits