@leanprover/infoview

v0.13.0npm· JavaScript

An interactive display 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

8 direct dependencies

Recent releases