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).
The author is Michael Kohlhase. The package is Copyright © 2009 Michael Kohlhase.
License: lppl Version: 1.4 Catalogued: 2014-04-30