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 was archived by the owner on Jul 26, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
Helper tool for projects run in lean4web
License
hhu-adam/lean4web-tools
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Helper tool for projects run in lean4web
Topics
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published