Skip to content
CI (Coq)

always and eventually combinators for omni-smallstep semantics #381

Sign in to view logs

always and eventually combinators for omni-smallstep semantics

always and eventually combinators for omni-smallstep semantics #381

Triggered via push April 1, 2024 22:34
@samuelgruettersamuelgruetter
pushed 7c527b9
master
Status Success
Total duration 1m 27s
Artifacts –

coq.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in