create a proofgeneral recipe