Skip to content

Adapt to Coq PR #19404

b7e3b98
Select commit
Loading
Failed to load commit list.
Open

Adapt to Coq PR #19404: an algebra of types for the instances of notation variables #19

Adapt to Coq PR #19404
b7e3b98
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs