| Parent directory/ | - | - |
| Contributing.md | 3069 | 05-May-2022 20:16 |
| LICENSE | 1086 | 05-May-2022 08:22 |
| README.md | 1302 | 05-May-2022 20:16 |
| mathsemantics-abbreviations.sty | 1958 | 06-May-2022 08:14 |
| mathsemantics-commons.sty | 333 | 06-May-2022 08:14 |
| mathsemantics-documentation-local.sty | 3589 | 05-May-2022 08:28 |
| mathsemantics-documentation.pdf | 619K | 06-May-2022 08:14 |
| mathsemantics-documentation.tex | 44K | 06-May-2022 06:53 |
| mathsemantics-manifolds.sty | 9402 | 06-May-2022 08:14 |
| mathsemantics-names.sty | 2524 | 06-May-2022 08:14 |
| mathsemantics-optimization.sty | 1511 | 06-May-2022 08:14 |
| mathsemantics-semantic.sty | 4851 | 06-May-2022 08:14 |
| mathsemantics-syntax.sty | 15K | 06-May-2022 08:14 |
| mathsemantics.sty | 487 | 06-May-2022 08:14 |