Skip to content

Remove all ProofScript sequent features - #3284

Draft
brianhuffman wants to merge 13 commits into
masterfrom
bh/no-sequent
Draft

Remove all ProofScript sequent features#3284
brianhuffman wants to merge 13 commits into
masterfrom
bh/no-sequent

Add command `subproof : ProofScript () -> ProofScript ()`.

2f1bf3d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar