Search for a command to run...
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs