Skip to content
Lint Style

Auto-generated proofs for all laws trivially implying Eq2 (singleton) and Eq46 (constant) #158

Sign in to view logs

Auto-generated proofs for all laws trivially implying Eq2 (singleton) and Eq46 (constant)

Auto-generated proofs for all laws trivially implying Eq2 (singleton) and Eq46 (constant) #158

Triggered via pull request September 28, 2024 04:59
@amirlbamirlb
opened #44
amirlb:singleton-laws
Status Success
Total duration 10s
Artifacts –

lint.yml

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