Skip to content

Expand OSS steps when saving a proof for more deterministic Proofs - #3707

Draft
Drodt wants to merge 14 commits into
mainfrom
expand-oss
Draft

Expand OSS steps when saving a proof for more deterministic Proofs#3707
Drodt wants to merge 14 commits into
mainfrom
expand-oss

Simplify OSS

cff0c85
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar