Skip to content
CI (Coq)

coinductive version of always #383

Sign in to view logs

coinductive version of always

coinductive version of always #383

Triggered via pull request April 2, 2024 18:27
@andres-erbsenandres-erbsen
synchronize #113
andres-erbsen:coquinductive-always
Status Success
Total duration 7m 58s
Artifacts –

coq.yml

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