Skip to content

Modernize the Coq strict positivity example#17

Open
tchajed wants to merge 1 commit intostedolan:mainfrom tchajed:modernize-strict-positivity-coq

Commits

Commits on Feb 7, 2023