オーナー · lean-dojo

lean-dojo

lean-dojo の追跡中のオープンソースリポジトリを、スター数順に表示します。

2 件のリポジトリ

#1
LeanCopilot ↗@lean-dojoC++
Leanでの定理証明のコパイロットとしてのLLM
★ 1,318+1直近 7 日のスター増減
#2
LeanDojo ↗@lean-dojoPython
プログラムからデータ抽出およびLeanとの対話を行うためのツール。
★ 832+1直近 7 日のスター増減