Skip to content

Add a sample proof for one rewriting step#85

Open
zhengyao-lin wants to merge 1 commit into
kframework:proof-objectfrom
zhengyao-lin:proof-object
Open

Add a sample proof for one rewriting step#85
zhengyao-lin wants to merge 1 commit into
kframework:proof-objectfrom
zhengyao-lin:proof-object

add a sample proof for one rewriting step

cc72b5f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs