## Stream: condensed mathematics

### Topic: Project statistics

#### David Michael Roberts (Mar 15 2021 at 06:51):

I thought it might be interesting to keep track of how the LTE is going as far as length of code produced. I appreciate it may not be easy with material going into mathlib, so maybe even just tracking the main self-contained parts is reasonable. Is there any automatic way to do this? Or are the parts all moving too fast at present?

#### Johan Commelin (Mar 15 2021 at 07:12):

@David Michael Roberts Does https://github.com/leanprover-community/lean-liquid/pulse give you some of the stats you want?

#### Johan Commelin (Mar 15 2021 at 07:13):

You can also run git ls-files | xargs wc to get very rough line-count statistics

#### David Michael Roberts (Mar 15 2021 at 08:46):

I'd checked that, but it only goes back so far. I found this online tool that seems to a reasonable job, giving a current snapshot only: https://codetabs.com/count-loc/count-loc-online.html (so no historical added/removed)

Last updated: May 09 2021 at 16:20 UTC