stex

An infrastructure for semantic preloading of LaTeX documents

Version:
3.4.0
Copyright:
Michael Kohlhase
License:
lppl
Packaged on:
10/26/2023 12:39:36
Number of files:
36
Size on disk:
365.77 kB

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).