This repository contains the sTeX package collection, 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).
See the documentation of the sTeX packgae for details.
Copyright (c) 2015 Michael Kohlhase The package is distributed under the terms of the LaTeX Project Public License (LPPL)
sTeX documents can be transformed to OMDoc via the sTeX Plugin for LaTeXML available at https://github.com/KWARC/LaTeXML-Plugin-sTeX/.