lean4web-tools
Import this package in any package added to lean4web.
Commands
#package_version
: prints the lean version and all available packages.
Import this package in any package added to lean4web.
#package_version
: prints the lean version and all available packages.