Skip to content

avoid warnings emitted by Coq#76

Open
ybertot wants to merge 3 commits into
rocq-community:coq-masterfrom
ybertot:coq-deprecation-8.13
Open

avoid warnings emitted by Coq#76
ybertot wants to merge 3 commits into
rocq-community:coq-masterfrom
ybertot:coq-deprecation-8.13

changes in the shapes of graph are legitimate

648c589
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs