Skip to content

Compat with Rocq (without coq shim)#123

Merged
proux01 merged 1 commit intomath-comp:masterfrom
proux01:rocq
Mar 24, 2026
Merged

Compat with Rocq (without coq shim)#123
proux01 merged 1 commit intomath-comp:masterfrom
proux01:rocq

Commits

Commits on Mar 24, 2026