@leanprover/unicode-input - npm explorer

@leanprover/unicode-input

v0.1.8TypeScript

Unicode input mechanism for the Lean 4 theorem prover

90/weekUpdated 2 months agoApache-2.0Unpacked: 89.5 KB

Published by vtec234

npm install @leanprover/unicode-input

ERROR: No README data found!