Skip to content
enforce-format

fix "there exists"/"such that" not followed by a var name (#538) #63

Sign in to view logs

fix "there exists"/"such that" not followed by a var name (#538)

fix "there exists"/"such that" not followed by a var name (#538) #63

Triggered via push July 3, 2023 20:56
@bakkotbakkot
pushed 8c3a5ba
main
Status Success
Total duration 27s
Artifacts –

enforce-format.yml

on: push
Enforce spec format
18s
Enforce spec format
Fit to window
Zoom out
Zoom in