Skip to content

CI: add Coq 9.0+rc1 #266

CI: add Coq 9.0+rc1

CI: add Coq 9.0+rc1 #266

check-doc-magic (29.4)

succeeded Jan 29, 2025 in 57s