Skip to content

Home

Jump to bottom
Michael Kohlhase edited this page Feb 28, 2021 · 2 revisions

sTeXLS -- An sTeX-IDE based on vscode

sTeX is a 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).

sTeXLS is a vscode extension for sTeX, it supplies two main services:

  • semantic linting, i.e. making sure that the semantic annotations in sTeX refer and
  • annotation suggestion, (the trefier that suggests additional semantic annotation)
Clone this wiki locally