npm
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
Apache-2.02026年9月11日 · 指标 2.10.0
全部标签
目录标签
#formal-mathematics
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
2 条记录
—
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
MIT2026年9月16日 · 指标 2.10.0