Skip to content

Require Rocq 9.2 and MathComp 2.6 - #133

Merged
pi8027 merged 1 commit into
masterfrom
require-rocq-9.2
Oct 30, 2026
Merged

Require Rocq 9.2 and MathComp 2.6#133
pi8027 merged 1 commit into
masterfrom
require-rocq-9.2

Require Rocq 9.2 and MathComp 2.6

1927b97
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar