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 |