Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • patch-1
2 results
Blame Permalink
Forked from KWARC / kwarc.info / www
1176 commits behind the upstream repository.
sTeX.md 406 B 
layout: project
menu_title: sTeX
title: "sTeX: Semantic Markup for LaTeX"
pillar: semantization
start: 2004-09
people: mkohlhase,dginev

The TeX/LaTeX workflow is deeply embedded into mathematical practice. Therefore the sTeX system allows to embed /structural semantics into documents. For details see the sTeX project on GitHub.