Skip to content
build lean

Fix a few minor Lean misformalisations #231

Sign in to view logs

Fix a few minor Lean misformalisations

Fix a few minor Lean misformalisations #231

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Build
22m 2s
22m 2s