Zulip Chat Archive

Stream: general

Topic: 500000 lines of Lean on the wall


view this post on Zulip Johan Commelin (Mar 06 2021 at 05:18):

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

view this post on Zulip Rémy Degenne (Mar 06 2021 at 14:46):

0 theorems though, according to that page :)

view this post on Zulip Rob Lewis (Mar 06 2021 at 16:37):

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...


Last updated: May 17 2021 at 23:14 UTC