Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure. Learn more →
Top 5 Lean Lean Projects
-
-
Stream
Stream - Scalable APIs for Chat, Feeds, Moderation, & Video. Stream helps developers build engaging apps that scale to millions with performant and flexible Chat, Feeds, Moderation, and Video APIs and SDKs powered by a global edge network and enterprise-grade infrastructure.
-
batteries
The "batteries included" extended library for the Lean programming language and theorem prover (by leanprover-community)
-
> I’d rather have the language …
check out Lean 4 then. Its syntax system is based on Racket but —instead of parens— implements stuff like [JSX syntax](https://github.com/leanprover-community/ProofWidgets4/blob/d...) and a [maze](https://github.com/dwrensha/lean4-maze)
-
-
Project mention: Should Type Theory (HoTT) Replace (ZFC) Set Theory as the Foundation of Math? | news.ycombinator.com | 2025-02-27
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
Lean Lean discussion
Lean Lean related posts
-
Lean 4, Release v4.17.0
-
Programming Language and Theorem Prover
-
Lean: Programming Language and Theorem Prover
-
LLMs don't do formal reasoning – and that is a problem
-
Quantum Advantage for NP Approximation
-
The Fermat's Last Theorem Project
-
Dafny is a verification-aware programming language
-
A note from our sponsor - Stream
getstream.io | 13 Jul 2025
Index
What are some of the best open-source Lean projects in Lean? This list will help you:
# | Project | Stars |
---|---|---|
1 | lean4 | 5,941 |
2 | batteries | 312 |
3 | ProofWidgets4 | 146 |
4 | hott3 | 79 |
5 | ground_zero | 63 |