Interface to the Lean server
Language Server Protocol server for Lean 3
Types and API for @leanprover/infoview.
An interactive display for the Lean 4 theorem prover.