Skip to content

CI Build UniMath

CI Build UniMath #24

Annotations

2 errors and 1 warning

Build SetHITs (Coq latest)

failed Mar 25, 2024 in 1m 13s