Comprehensive TeX Archive Network

s – An Infrastructure for Semantic Preloading of Documents

The s pack­age col­lec­tion is a ver­sion of / that al­lows to markup / doc­u­ments se­man­ti­cally with­out leav­ing the doc­u­ment for­mat, es­sen­tially turn­ing it into a doc­u­ment for­mat for math­e­mat­i­cal knowl­edge man­age­ment (MKM).

Home pagehttps://github.com/KWARC/sTeX
Ver­sion 2016-04-07
Li­censeThe Project Public Li­cense
Copy­right2009–2016 Michael Kohlhase
Main­tainerMichael Kohlhase
TDS archivestex.tds.zip
Con­tained inTeX Live as stex
MiKTeX as stex
Topics macros to build a for­mat
struc­tured markup

Down­load the con­tents of this pack­age in one zip archive (7.1M).


Here you can see a re­spec­tive di­a­gram in newer browsers.


Guest Book Sitemap Contact Contact Author