6
7
9
| Mentions | Stars | Project | Description |
|---|---|---|---|
| 1 | 719 | Lean mathematical components library | |
| 1 | 94 | Building the natural numbers in Lean. | |
| 1 | 16 | 💧 Liquid Tensor Experiment |
Popular Lean Topics
Latest Mentions
Latest mentioned Lean repos
| Stars | Project |
|---|---|
| 719 | mathlib |
| 94 | natural_number_game |
| 16 | lean-liquid |
| 65 | lean4-raytracer |
| 641 | lean4 |
| 40 | real-number-game |
Latest Discoveries
Latest discovered Lean repos
| Stars | Project |
|---|---|
| 94 | natural_number_game |
| 16 | lean-liquid |
| 65 | lean4-raytracer |
| 719 | mathlib |
| 40 | real-number-game |
| 641 | lean4 |