Define new and create actions for proofs controller; Started form_for new proof