Skip to content
coq-action

Primitive Projections in HSet.v #414

Sign in to view logs

Primitive Projections in HSet.v

Primitive Projections in HSet.v #414

Triggered via push February 19, 2024 10:12
@herbelinherbelin
pushed 9685d4a
master
Status Success
Total duration 2m 35s
Artifacts –

coq-action.yml

on: push
build
2m 26s
build
Fit to window
Zoom out
Zoom in