Archon发布Lean证明编排系统

frenzymathArchon仓库，工程具有独立的数学形式化价值。核心是Lean证明编排系统，附安装及初始化说明。项目采用Apache许可，纳入以创建日期为准，不回填后期版本功能。