Skip to content
Ubuntu build

Define downward/upward closure of subsets, rec and elim for ∃ (#1235) #2963

Sign in to view logs

Define downward/upward closure of subsets, rec and elim for ∃ (#1235)

Define downward/upward closure of subsets, rec and elim for ∃ (#1235) #2963

Triggered via push July 24, 2025 19:21
@maxsnewmaxsnew
pushed 51d7a05
master
Status Success
Total duration 31m 27s
Artifacts –

ci-ubuntu.yml

on: push
test-cubical
31m 24s
test-cubical
Fit to window
Zoom out
Zoom in