Skip to content

Require Coq/Rocq >= 8.20 and MathComp >= 2.4

1c05acb
Select commit
Loading
Failed to load commit list.
Merged

Require MathComp 2.4 #71

Require Coq/Rocq >= 8.20 and MathComp >= 2.4
1c05acb
Select commit
Loading
Failed to load commit list.