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