/Master/texmf-dist/tex/latex/lkproof/
../
proof.sty