Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs

探索《Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。