Zulip Chat Archive
Stream: general
Topic: syntax metrics (like halstead, cyclomatic, etc)
Quinn (Nov 24 2025 at 13:59):
Does anyone have leads or thoughts on cyclomatic complexity, halstead metrics? over lean code.
Something like https://pypi.org/project/radon/ Radon but for Lean code.
Quinn (Nov 24 2025 at 14:00):
I know there's a lot of introspection in Lean metaprogramming, but I think we have to MVP faster than we could figure that out haha
Last updated: Dec 20 2025 at 21:32 UTC