vtec234
Types and API for @leanprover/infoview.
published version 0.7.0, 2 months agoAn interactive display for the Lean 4 theorem prover.
published version 0.8.5, 2 months agoUnicode input mechanism for the Lean 4 theorem prover
published version 0.1.4, 2 months agoTypescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover
published version 0.1.4, 2 months ago- published version 0.1.0, 7 months ago
