lean-dojo/LeanDojo

Alat untuk ekstraksi data dan berinteraksi dengan Lean secara terprogram.

↗ Buka di GitHub

Bintang

832

Fork

118

Bahasa

Python

Lisensi

MIT

Push terakhir

8 bulan yang lalu

Python machine-learning llm lean4 lean theorem-proving

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.