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.