Upload a Package
The recommended way to upload packages is to use the opentheory tool, but it is also possible to manually upload package tarballs using the following form:
The recommended way to upload packages is to use the opentheory tool, but it is also possible to manually upload package tarballs using the following form:
Gilith OpenTheory Repo, maintained by