add recipe: proofgeneral