Description
Editor features for Lean 3 proofs can be provided through the Language Server Protocol. It is useful for developers and researchers who need diagnostics, navigation, and editor integration for Lean theorem-proving projects.
This is editor infrastructure, not a standalone proof editor. Match it with the Lean version and editor plugin expected by the project.