lean-dojo/LeanDojo
@lean-dojoプログラムからデータ抽出およびLeanとの対話を行うためのツール。
スター
832
フォーク
118
言語
Python
ライセンス
MIT
最終プッシュ
7 か月前
関連 Intel（0）
関連 Intel はまだありません
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。
プログラムからデータ抽出およびLeanとの対話を行うためのツール。
このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。