Lean LibHunt

Discover popular and related Lean open-source projects
6
7
9
Our great sponsor
  • Scout - Get performance insights in less than 4 minutes
Our great sponsor
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