Hacker News new | ask | show | jobs
by iib 25 days ago
Lean also has https://www.leanexplore.com and https://loogle.lean-lang.org/