Lean also has https://www.leanexplore.com and https://loogle.lean-lang.org/