做视频AI导航网
AI导航
热门工具
Agent智能体
Skills技能
AI大模型
AI创作
AI工具集
视频Video
素材下载
创作灵感
Github神器
导航
资讯
视频素材
视频模版
音乐音效
Luts调色预设
整合包
CNY (
¥
)
首页
/
形式化数学
把数学定义、命题和证明编码为可由证明助手与内核逐步检查的形式系统。
订阅
0
取消订阅
相关资源
热门
最新
Anthropic Formal Math – Claude生成并由Lean验证的开源数学证明库
形式化数学证明
公开Claude生成的Lean证明、固定工具链与完整审计记录
Anthropic Formal Math公开Claude生成的Lean形式化数学证明，包含渗流θ(pc)=0…
没有更多了
