/Master/texmf-dist/tex/latex/stex/sproof/
../
sproof.sty