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