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-documentation-local.sty | 3589 | logplain |
-rw-r--r-- | mathsemantics-documentation.pdf | 633797 | logplain |
-rw-r--r-- | mathsemantics-documentation.tex | 45332 | logplain |