Skip to content

Drop support for Coq 8.20#1853

Merged
affeldt-aist merged 1 commit intomath-comp:masterfrom
proux01:drop820
Mar 3, 2026
Merged

Drop support for Coq 8.20#1853
affeldt-aist merged 1 commit intomath-comp:masterfrom
proux01:drop820

Commits

Commits on Mar 3, 2026