Skip to content
CI

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

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 #479

Annotations

10 warnings

docker (coqorg/coq:8.20, dev)

docker (coqorg/coq:8.20, dev)
succeeded Oct 17, 2025 in 4m 51s