定理证明器

一种交互式软件工具，允许用户通过编写形式化脚本逐步构建和验证数学证明的逻辑有效性。