stex__source
An Infrastructure for Semantic Preloading of LaTeX Documents
- Version:
- 3.1.0
- Copyright:
- Michael Kohlhase
- License:
- lppl
- Packaged on:
- 5/25/2022 8:11:55 PM
- Number of files:
- 46
- Size on disk:
- 544.53 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).