Skip to content

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

Merge pull request #34 from leanprover/bump_to_v4.14.0

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

test

succeeded Dec 2, 2024 in 27s