Skip to content

Raise Coq version to 8.14 and fix build warnings

14a36a8
Select commit
Loading
Failed to load commit list.
Open

Raise Coq version to 8.14 and fix build warnings #9

Raise Coq version to 8.14 and fix build warnings
14a36a8
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs