Skip to content
Lint Style

prove that eq3555 does not imply eq 3862 #1038

Sign in to view logs

prove that eq3555 does not imply eq 3862

prove that eq3555 does not imply eq 3862 #1038

Triggered via pull request October 8, 2024 15:56
@dwrenshadwrensha
opened #431
dwrensha:another-known-dual
Status Success
Total duration 12s
Artifacts –

lint.yml

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