Skip to content

Compat with Rocq (without coq shim)

618c006
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

Compat with Rocq (without coq shim) #123

Compat with Rocq (without coq shim)
618c006
Select commit
Loading
Failed to load commit list.

Annotations

11 warnings
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.0)
succeeded Mar 24, 2026 in 3m 57s