Actually, the TeX file
mproof.tex
is compiled. It can be found in
?:
\
emtex
\
inputs
\
misc
.