Pemilik · lean-dojo

lean-dojo

Repositori open source terpantau milik lean-dojo, diurutkan berdasarkan bintang.

2 repositori

#1
LeanCopilot ↗@lean-dojoC++
LLM sebagai Copilot untuk Pembuktian Teorema di Lean
★ 1.318+1Perubahan bintang dalam 7 hari terakhir
#2
LeanDojo ↗@lean-dojoPython
Alat untuk ekstraksi data dan berinteraksi dengan Lean secara terprogram.
★ 832+1Perubahan bintang dalam 7 hari terakhir