Skip to content

Simple Parity Test#176

Open
nSchell4 wants to merge 5 commits into
utgheith:mainfrom
nSchell4:parity_test
Open

Simple Parity Test#176
nSchell4 wants to merge 5 commits into
utgheith:mainfrom
nSchell4:parity_test

add a decreases clause in proof file

4c1becc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar