UPDATE: With the new version, this package is superfluous and not needed anymore!
Import this package in any package added to lean4web.
#package_version: prints the lean version and all available packages.
This repository has been archived by the owner on Jul 26, 2024. It is now read-only.