Lean language trends

Explore Lean in OpenPulse's daily top-growth cohort: repository share, observed star growth, historical trends and source projects.

• openai/math · +1732 stars / 7d