Skip to content
CI (Coq)

Actually give access to the Proper type.eqv hyp #88

Sign in to view logs

Actually give access to the Proper type.eqv hyp

Actually give access to the Proper type.eqv hyp #88

Triggered via push December 23, 2023 01:43
@JasonGrossJasonGross
pushed 140c565
give-eqv-hyp
Status Success
Total duration 42m 36s
Artifacts –

coq.yml

on: push
Matrix: build
check-all
0s
check-all
Fit to window
Zoom out
Zoom in