Skip to content

Commit 0db4ee1

Browse files
nomeatanomeata
committed
Merge branch 'nightly-with-mathlib' of https://github.com/leanprover/lean4 into joachim/selective-cases
2 parents 30677d1 + 106b0fa commit 0db4ee1

Sorry, this diff is taking too long to generate.

It may be too large to display on GitHub.