Skip to content

do not unfold Zeq_bool (for coq/coq#19801) #96

do not unfold Zeq_bool (for coq/coq#19801)

do not unfold Zeq_bool (for coq/coq#19801) #96

build (8.15, default)

succeeded Nov 3, 2024 in 3m 16s