6 ms·
Lean also has https://www.leanexplore.com https://www.leanexplore.com and https://loogle.lean-lang.org/ https://loogle.lean-lang.org/
by iib 2mo ago
Lean also has https://www.leanexplore.com https://www.leanexplore.com and https://loogle.lean-lang.org/ https://loogle.lean-lang.org/