Skip to content
build lean

Fix a few minor Lean misformalisations #229

Sign in to view logs

Fix a few minor Lean misformalisations

Fix a few minor Lean misformalisations #229

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
21m 43s
21m 43s