Skip to content
Lean 4 Playground

Initial mathport of https://github.com/leanprover-community/mathlib/p… #78

Sign in to view logs

Initial mathport of https://github.com/leanprover-community/mathlib/p…

Initial mathport of https://github.com/leanprover-community/mathlib/p… #78

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Lean 4 Examples
1m 22s
deploy
0s
1m 22s