Skip to content

Add support for Coq 8.20 #175

Add support for Coq 8.20

Add support for Coq 8.20 #175

Annotations

2 warnings

build (5.2.0, 8.18.0)

succeeded Oct 18, 2024 in 4m 6s