トピック · theorem-proving
theorem-proving
theorem-proving がタグ付けされた追跡中のオープンソースリポジトリを、スター数順に表示します。
リポジトリ
7
総スター数
13,478
平均スター数
1,925
シェア
0.00%
関連トピック
theorem-proving と同じリポジトリに頻繁に登場するトピック。
最近の急上昇
直近 90 日以内に作成され、theorem-proving がタグ付けされたリポジトリ。
直近 90 日以内に、このトピックがタグ付けされた新しいリポジトリはありません。
- #1
Rocq Proverは対話型定理証明器（証明支援ツール）。数学的定義、実行可能アルゴリズム、定理を記述するための形式言語と、機械検証された証明の半対話的開発環境を提供する。
★ 5,562+4直近 7 日のスター増減 - #2★ 3,103+4直近 7 日のスター増減
- #3
Leanでの定理証明のコパイロットとしてのLLM
★ 1,318+1直近 7 日のスター増減 - #4★ 1,190+2直近 7 日のスター増減
- #5★ 832+1直近 7 日のスター増減
- #6
HOL4定理証明システムの公式ソース。developブランチは「メインライン開発」を行う場所であり、developが回帰テストに合格すると、masterが前方マージされて追いつきます。
★ 757+3直近 7 日のスター増減 - #7★ 721+6直近 7 日のスター増減
