Skip to content

Merge pull request #34 from leanprover/bump_to_v4.14.0 #168

Merge pull request #34 from leanprover/bump_to_v4.14.0

Merge pull request #34 from leanprover/bump_to_v4.14.0 #168

test

succeeded Dec 2, 2024 in 32s