ICFP 2026 (series) / ICFP Artifacts /
A Separation Logic for Parallel Time Complexity with Work and Span Credits
This artifact consists of Rocq proofs making use of the Iris framework.
This artifact consists of Rocq proofs making use of the Iris framework.