Skip to content

Compile with Rocq (witout coq shim)#86

Merged
proux01 merged 2 commits into
math-comp:masterfrom
proux01:rocq
Apr 23, 2026
Merged

Compile with Rocq (witout coq shim)#86
proux01 merged 2 commits into
math-comp:masterfrom
proux01:rocq

Compat with Rocq (without coq shim)

ee9f7c4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded Apr 23, 2026 in 40s