Skip to content
Docker CI

Declare DirectedSets.DS_set as coercion #209

Sign in to view logs

Declare DirectedSets.DS_set as coercion

Declare DirectedSets.DS_set as coercion #209

build (coqorg/coq:8.17)

build (coqorg/coq:8.17)
succeeded Aug 6, 2024 in 2m 52s