@leanprover/unicode-input

v0.1.0
Unicode input mechanism for the Lean 4 theorem prover

Readme Versions Dependencies Scripts

Dependencies (0)

No dependencies

Dev dependencies (1)

typescript
npm i @leanprover/unicode-input

Metadata

Downloads