算法形式化定理库

人工智能-机器人 Energy

项目描述：为摆脱传统/复杂/繁琐的纸笔演算，提高算法研究、数学分析效率，专注于实现形式化机械化数学论证。 项目地址：www.lemma.cn 开源代码：https://github.com/math-proof/lemma/tree/main 项目职责：从2009年起，使用C++、sympy、lean4等语言，着手开发交互式形式化数学认证工具。 初期研习：使用知名符号计算库（sympy、maxima、Mathematica），学习当前主流形式化证明编程语言（Lean、Coq、Isabelle）；独立构建公理化数学论证体系与数学题库； 网站搭建：使用php/node.js作应用后台、v...