トピック · formal-mathematics
formal-mathematics
formal-mathematics がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。
リポジトリ
2
総スター数
2,538
平均スター数
1,269
シェア
0.00%
関連トピック
formal-mathematics と同じリポジトリに頻繁に登場するトピック。
最近の急上昇
直近 90 日以内に作成され、formal-mathematics がタグ付けされたリポジトリ。
直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。
- #1
Leanでの定理証明のコパイロットとしてのLLM
★ 1,318+1直近 7 日のスター増減 - #2
Leanにおける予想の形式化されたステートメントのコレクション。
★ 1,220+13直近 7 日のスター増減
