Skip to content

Modernize the Coq strict positivity example

a22d386
Select commit
Loading
Failed to load commit list.
Open

Modernize the Coq strict positivity example #17

Modernize the Coq strict positivity example
a22d386
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs