check a proof

or drop it hereThe open checker