Skip to content

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

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

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