500000 lines of Lean on the wall

Stream: general

[Johan Commelin]

:octopus: :clink: :tada: :muscle: :dancing: https://leanprover-community.github.io/mathlib_stats.html

[Rémy Degenne]

0 theorems though, according to that page :)

[Rob Lewis]

Rémy Degenne said:

0 theorems though, according to that page :)

Haha, oops, this is an unexpected side effect of a recent change to doc-gen...