@leanprover/unicode-input-component

v0.2.2npm· JavaScript

Typescript support for contenteditable divs with the Unicode input support of the Lean 4 theorem prover

The verdict

Maintained. Maintained, actively maintained.

Live from the npm registry · derived rules, not AI

How it scores

MaintenanceHealthy

PopularityUnknown

SecurityClean

LicensePermissive

DepsLean

Maintenance

Last published this month.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

Apache-2.0

Dependencies

1 direct dependency

Recent releases