Published May 25, 2026
| Version v1
Software
Open
Artifact for Lazy Proof Automation for Separation Logic
Authors/Creators
Description
This artifact contains the Lean 4 implementation and case studies for Yolo, a fast automation procedure for separation-logic entailments.
Files
YOLO_artefact.zip
Files
(428.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d43a407e2573164c7be37cc6fc83c2bd
|
428.7 kB | Preview Download |