blob: 030862f57b1f90008f1b0633dfc824fbf0e8ac9c (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
sproof.sty: An Infrastructure for Structural Markup for Proofs
This package supplies macros and environment that allow to annotate the structure of
mathematical proofs. This structure can be used by MKM systems for added-value services,
either directly from the sTeX sources, or after translation via the LaTeXML system.
Copyright (c) 2008 Michael Kohlhase
The package is distributed under the terms of the LaTeX Project Public License (LPPL)
The development version of this package can be found at
https://svn.kwarc.info/repos/stex/sty/stex/sproof/
|
