Published December 12, 2023
| Version 1.0.0
Software
Open
Artifact of 'Unification for Subformula Linking under Quantifiers'
Description
This is the artifact for the CPP '24 paper 'Unification for Subformula Linking under Quantifiers'. It contains formalizations of section 3.3 and section 4, as well as patches for Iris's improved version of iFrame.
Files
README.md
Files
(40.2 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:35ade1b191da7a7bce65c9f8097b7eff
|
1.5 kB | Download |
|
md5:dcb29b46b4c2ff3322d2ed9a46f2aead
|
449 Bytes | Preview Download |
|
md5:cf5843b745f250f62a332eb3d63533b3
|
40.2 MB | Download |
Additional details
Dates
- Created
-
2023-12-12