Skip to content
coq-action

paper: rewrite Our construction; other minor prose fixes #363

Sign in to view logs

paper: rewrite Our construction; other minor prose fixes

paper: rewrite Our construction; other minor prose fixes #363

Triggered via push September 24, 2023 10:50
@artagnonartagnon
pushed 8a9f09a
master
Status Success
Total duration 2m 40s
Artifacts –

coq-action.yml

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