Skip to content
CI

Lemma 4 ; and ∪ cases done (but proofs should be shortened someday) #6

Sign in to view logs

Lemma 4 ; and ∪ cases done (but proofs should be shortened someday)

Lemma 4 ; and ∪ cases done (but proofs should be shortened someday) #6

Triggered via push October 7, 2023 11:26
@m4lvinm4lvin
pushed 76e9d58
main
Status Success
Total duration 2m 10s
Artifacts –

build.yml

on: push
Build
2m 0s
Build
Stats
9s
Stats
Fit to window
Zoom out
Zoom in