Mode | Name | Size | |
---|---|---|---|
-rw-r--r-- | Contributing.md | 3069 | logplain |
-rw-r--r-- | LICENSE | 1086 | logplain |
-rw-r--r-- | README.md | 1302 | logplain |
-rw-r--r-- | mathsemantics-abbreviations.sty | 1958 | logplain |
-rw-r--r-- | mathsemantics-commons.sty | 333 | logplain |
-rw-r--r-- | mathsemantics-documentation-local.sty | 3589 | logplain |
-rw-r--r-- | mathsemantics-documentation.pdf | 633797 | logplain |
-rw-r--r-- | mathsemantics-documentation.tex | 45332 | logplain |
-rw-r--r-- | mathsemantics-manifolds.sty | 9402 | logplain |
-rw-r--r-- | mathsemantics-names.sty | 2524 | logplain |
-rw-r--r-- | mathsemantics-optimization.sty | 1511 | logplain |
-rw-r--r-- | mathsemantics-semantic.sty | 4851 | logplain |
-rw-r--r-- | mathsemantics-syntax.sty | 15651 | logplain |
-rw-r--r-- | mathsemantics.sty | 487 | logplain |