Modelling proofs belong to a thread in the Work in Progress forum, which you then link in the mod submission form. I have moved this thread to the correct forum in the "Development thread URL / ID" field.