主題 · 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 天星數變化
