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

Try to keep the split recursion section intact without getting floode…

acf107a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar