The hardware and bandwidth for this mirror is donated by dogado GmbH, the Webhosting and Full Service-Cloud Provider. Check out our Wordpress Tutorial.
If you wish to report a bug, or if you are interested in having us mirror your free-software or open-source project, please feel free to contact us at mirror[@]dogado.de.
../ Contributing.md 05-May-2022 20:16 3069 LICENSE 05-May-2022 08:22 1086 README.md 05-May-2022 20:16 1302 mathsemantics-abbreviations.sty 06-May-2022 08:14 1958 mathsemantics-commons.sty 06-May-2022 08:14 333 mathsemantics-documentation-local.sty 05-May-2022 08:28 3589 mathsemantics-documentation.pdf 06-May-2022 08:14 633797 mathsemantics-documentation.tex 06-May-2022 06:53 45332 mathsemantics-manifolds.sty 06-May-2022 08:14 9402 mathsemantics-names.sty 06-May-2022 08:14 2524 mathsemantics-optimization.sty 06-May-2022 08:14 1511 mathsemantics-semantic.sty 06-May-2022 08:14 4851 mathsemantics-syntax.sty 06-May-2022 08:14 15651 mathsemantics.sty 06-May-2022 08:14 487
These binaries (installable software) and packages are in development.
They may not be fully stable and should be used with caution. We make no claims about them.
Health stats visible at Monitor.