@leanprover/unicode-input

v0.1.0

Unicode input mechanism for the Lean 4 theorem prover

Readme Versions Dependencies Scripts

ERROR: No README data found!

npm i @leanprover/unicode-input

Metadata

Apache-2.0
Whatever
Unknown
released 6/18/2024

Downloads

Maintainers