Plugins for searching Lean 4 declarations with LeanExplore.
/plugin marketplace add justincasher/lean-explore