Version:
Copyright:
Michael Kohlhase
License:
lppl
Packaged on:
3/21/2019 9:11:05 PM
Number of files:
101
Size on disk:
7.51 MB

The sTeX package collection is a version of TeX/LaTeX that allows to markup TeX/LaTeX documents semantically without leaving the document format, essentially turning it into a document format for mathematical knowledge management (MKM).