Skip to content

Add Max and Min functions with properties tests#172

Open
leozou2004 wants to merge 9 commits into
utgheith:mainfrom
leozou2004:add-max-properties-test
Open

Add Max and Min functions with properties tests#172
leozou2004 wants to merge 9 commits into
utgheith:mainfrom
leozou2004:add-max-properties-test

change proof file to correspond with the test file

c8ef9c7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs