DSH开源插件商店
DSH Store
DSH开源插件商店
DSH Store
依托Lean证明助手内核实现数学推理的形式化验证，可将自然语言表述的数学步骤自动转化为符合Lean语法的可校验证明，支持代数、分析等常见数学领域的推理校验，降低形式化数学验证的使用门槛。