BETAmodules.com is in beta — open to partnerships & joint ventures.Build with us
modules.com
⌘K

lean4.js

v0.0.0npm· JavaScript

Run Lean 4 in the browser via WebAssembly

The verdict
Maintained. Niche but maintained, actively maintained.
Live from the npm registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published this month.
Popularity
105 downloads / week
Security
No known advisories for this version (OSV).
License
MIT
Dependencies
No runtime dependencies
Recent releases
  • 0.0.0this month