❤
npm
Sign UpSign In

@leanprover/unicode-input
TypeScript icon, indicating that this package has built-in type declarations

0.1.4 • Public • Published
This package does not have a README. Add a README to your package so that users know how to get started.

Readme

Keywords

none

Package Sidebar

Install

npm i @leanprover/unicode-input

Weekly Downloads

21

Version

0.1.4

License

Apache-2.0

Unpacked Size

89.1 kB

Total Files

27

Last publish

Collaborators

  • clovett
  • gebner
  • vtec234
  • mhuisi
Try on RunKit
Report malware