lean (math/lean) Updated: 2 months, 2 weeks ago Add to my watchlist
The Lean theorem prover.A fork of Lean 3 maintained and updated by the Lean community. Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover.
Version: 3.51.1 License: Apache-2 GitHubStatistics for selected duration
2024-Oct-23 to 2024-Nov-22
Total Installations | 3 |
---|---|
Requested Installations | 3 |
Loading Chart
Loading Chart
Loading Chart
Loading Chart
Variants | Count |
---|
Monthly Statistics
Can remain cached for up to 24 hours
Loading Chart
Percentage of installations per version per month
Loading Chart