@leanprover/unicode-input

v0.1.0

Unicode input mechanism for the Lean 4 theorem prover

Readme Versions Dependencies Scripts

watch

tsc --watch

watchTest

tsc --watch

build

tsc

npm i @leanprover/unicode-input

Metadata

Apache-2.0
Whatever
Unknown
released 6/18/2024

Downloads

Maintainers