Skip to content
Nix CI for bundle rocq-9.1

use coq.coercion.class as the type of coercion classes #199

Sign in to view logs

use coq.coercion.class as the type of coercion classes

use coq.coercion.class as the type of coercion classes #199

Annotations

1 error

hierarchy-builder

hierarchy-builder
failed Oct 17, 2025 in 1m 24s