Zulip Chat Archive

Stream: condensed mathematics

Topic: Project statistics


view this post on Zulip 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?

view this post on Zulip 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?

view this post on Zulip Johan Commelin (Mar 15 2021 at 07:13):

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

view this post on Zulip 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