highlightjs-lean
v1.2.0npm· JavaScriptA highlightjs language grammar for the Lean theorem proving language.
The verdict
Abandoned. Last published over a year ago. No recent activity — look for a maintained alternative.
No recent activity — look for a maintained alternative.
Live from the npm registry · derived rules, not AI
How it scores
MaintenanceAbandoned
PopularityUnknown
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Last published over a year ago.
Popularity
Download count unavailable.
Security
No known advisories for this version (OSV).
License
BSD-3-Clause
Dependencies
No runtime dependencies
Recent releases
- 1.2.0over a year ago
- 1.1.04 years ago
- 1.0.06 years ago