lean-dojo/LeanCopilot

LLM sebagai Copilot untuk Pembuktian Teorema di Lean

↗ Buka di GitHub

Bintang

1.318

Fork

128

Bahasa

C++

Lisensi

MIT

Push terakhir

2 minggu yang lalu

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

Belum ada intel terkait

Repositori ini belum muncul di sumber mana pun yang dilacak radar. Kolektor berjalan sesuai jadwal — periksa kembali setelah mencakup repositori ini.