Skip to content
Lint Style

Metatheorem resolving all consequences of Equation1571 #994

Sign in to view logs

Metatheorem resolving all consequences of Equation1571

Metatheorem resolving all consequences of Equation1571 #994

Triggered via pull request October 7, 2024 06:36
@pitmonticonepitmonticone
synchronize #341
franklindyer:free-monoid-theory
Status Success
Total duration 12s
Artifacts –

lint.yml

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