summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/stex/doc/packages/stex-proofs.tex
blob: 0523c65948d52820bc560056489b74e21a83cf16 (plain)
1
\textcolor{red}{TODO: sproofs documentation}