Skip to content

Optimizing proofs (#201) #276

Optimizing proofs (#201)

Optimizing proofs (#201) #276

Triggered via push September 15, 2024 00:10
Status Success
Total duration 7m 32s
Artifacts

ci_build.yaml

on: push
Completeness of _CoqProject
2s
Completeness of _CoqProject
Continuous Intergration
7m 24s
Continuous Intergration
Fit to window
Zoom out
Zoom in