Skip to content
Lint Style

prove some nonimplications for Equations 2712 and 3545 #1036

Sign in to view logs

prove some nonimplications for Equations 2712 and 3545

prove some nonimplications for Equations 2712 and 3545 #1036

Triggered via pull request October 8, 2024 15:37
@dwrenshadwrensha
synchronize #430
dwrensha:refutation742
Status Success
Total duration 12s
Artifacts –

lint.yml

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