lean-dojo/LeanCopilot

Leanでの定理証明のコパイロットとしてのLLM

↗ GitHub で開く

スター

1,318

フォーク

128

言語

C++

ライセンス

MIT

最終プッシュ

2 週間前

C++machine-learning llm llm-inference lean4 lean theorem-proving formal-mathematics

関連 Intel はまだありません

このリポジトリは radar が追跡するソースにまだ登場していません。コレクターはスケジュールで動いています——このリポジトリがカバーされたらまた見てください。