clovett

@leanprover/infoview-api

Types and API for @leanprover/infoview.

@leanprover/infoview

An interactive display for the Lean 4 theorem prover.

@leanprover/unicode-input

Unicode input mechanism for the Lean 4 theorem prover

@leanprover/unicode-input-component

Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover