Skip to content

[WIP] dependently typed implementation of peephole rewrite verification#492

Draft
math-fehr wants to merge 3 commits into
mainfrom
math-fehr/equation-lemma-dep-typed
Draft

[WIP] dependently typed implementation of peephole rewrite verification#492
math-fehr wants to merge 3 commits into
mainfrom
math-fehr/equation-lemma-dep-typed

Missing defs

862a0e8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar