cameronfreer

Lean 4 证明工具包

该工具集包含多种插件，旨在提升 Lean 4 形式化证明的效率与质量，包括记忆维持、快速搜索、补全指导及证明修复等功能，适合从事数学和逻辑证明工作的开发者。