logo

Stream: general

[Jakob von Raumer]

The fact that another big theorem prover is having a discussion about logos reminde me of a little pet peeve of mine: There's always been a little step between the L and the E in Lean's logo (which hasn't changed since Soonho Kong created it in 2014). I edited the logo and created a PR for leanprover.github.io. Should I also apply the fix to other repos? /cc @Sebastian Ullrich @Patrick Massot

[Adam Topaz]

I never noticed this before, and, of course, now I can't unsee that little step...

[Kevin Buzzard]

I can't believe that nobody fixed the upside-down letters yet!

[Jakob von Raumer]

Adam Topaz said:

I never noticed this before, and, of course, now I can't unsee that little step...

That's why I haven't told anybody in years, I just wanted to spare you the pain ;)