Skip to content

Extend split-recursion to multiple proof systems - #1018

Draft
RobinJadoul wants to merge 5 commits into
spec/mainfrom
spec/split-recursion
Draft

Extend split-recursion to multiple proof systems#1018
RobinJadoul wants to merge 5 commits into
spec/mainfrom
spec/split-recursion

Commits

  1. Commits on Oct 13, 2026

  2. Commits on Oct 16, 2026

  3. Commits on Oct 19, 2026

  4. Commits on Oct 22, 2026