A semantic Extension of TeX/LaTeX
TeX Perl XSLT Makefile Lex HTML
Switch branches/tags
Nothing to show
Latest commit 92aab78 Jun 1, 2017 @kohlhase kohlhase more


sTeX: An Infrastructure for Semantic Preloading of LaTeX Documents

Build Status

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 package 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/.