Pantograph¶

相关链接:

• Lean 项目地址：https://github.com/lenianiva/Pantograph
• Python 封装：https://github.com/stanford-centaur/PyPantograph

Pantograph 是一个为 Lean 4 开发的交互工具，它主要提供了执行证明、构建表达式以及检查项目符号列表等功能，目标是支持机器学习应用场景。

使用教程¶

待完善。