no PDF for proof-math

[] proof-math