Skills Trending Radar People People map Topics About

People / Lean

Lean

Lean Prover

Profiles: GitHub GraphQL. Daily stars: OSS Insight (GH Archive), last full day 2026-10-18. X: public timelines via bird, only for handles listed on GitHub. Graph: networkx. Snapshots: Turso tutorhero-stars: 1879 snapshot rows over 2 day(s). Labels: Jev (jev-1.13.0), unsure under 80% confidence. Built 2026-10-19 04:27 UTC. No contact details are collected or shown.