Skip to content
Lean (build)

[WIP] Add proof that confluence follows from strong confluence (diamo… #50

Sign in to view logs

[WIP] Add proof that confluence follows from strong confluence (diamo…

[WIP] Add proof that confluence follows from strong confluence (diamo… #50

Triggered via push January 29, 2024 14:50
@AnatolayAnatolay
pushed 1ca0a17
confluence
Status Success
Total duration 2m 5s
Artifacts –

lean.yml

on: push
Build
1m 54s
Build
Fit to window
Zoom out
Zoom in