主题 · formal-mathematics
formal-mathematics
标记 formal-mathematics 主题、收录中的开源项目，按星标数排序。
项目数
2
总星标数
2,538
平均星标数
1,269
占比
0.00%
相关主题
常跟 formal-mathematics 一起出现在同一个项目上的主题。
近期新秀
近 90 天内创建、标记 formal-mathematics 主题的项目。
近 90 天内还没有新项目标记这个主题。
- #1
在 Lean 中作为定理证明 Copilot 的 LLM
★ 1,318+0近 7 天星标变化 - #2
Lean 中猜想的形式化陈述集合。
★ 1,220+0近 7 天星标变化
