lean4monaco

v1.1.14npm· JavaScript

Monaco Editor support for 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

DepsModerate

Maintenance

Last published 1 month ago.

Popularity

Download count unavailable.

Security

No known advisories for this version (OSV).

License

Apache-2.0

Dependencies

9 direct dependencies

Recent releases