Skip to content

Add a sample proof for one rewriting step#85

Open
zhengyao-lin wants to merge 1 commit intokframework:proof-objectfrom zhengyao-lin:proof-object
+396-69

Commits

Commits on Sep 18, 2020