lean4web-tools
UPDATE: With the new version, this package is superfluous and not needed anymore!
Import this package in any package added to lean4web.
Commands
#package_version: prints the lean version and all available packages.
webeditor
Helper tool for projects run in lean4web