mathematical-coding

标签

#mathematical-coding

MathCode, 数学编码代理

Hacker News Top ↗ · 2026-08-16 缓存

MathCode是一款AI驱动的编码助手，它能将数学问题转换为Lean 4定理并尝试进行形式化证明，具有持久化的REPL、定理库以及代理模式证明功能。

0 人收藏 0 人点赞

← 返回首页

提交意见反馈