Skip to content

Merge pull request #11 from leanprover/Upgrade #55

Merge pull request #11 from leanprover/Upgrade

Merge pull request #11 from leanprover/Upgrade #55

Build

succeeded May 22, 2024 in 49m 19s