Skip to content
Lint Style

State and prove Theorem 2.36 #929

Sign in to view logs

State and prove Theorem 2.36

State and prove Theorem 2.36 #929

Re-run triggered October 5, 2024 22:08
@Shreyas4991Shreyas4991
#202
jscanvic:theorem2-36
Status Success
Total duration 11s
Artifacts –

lint.yml

on: pull_request
style_lint
0s
style_lint
Fit to window
Zoom out
Zoom in