lean-dojo/LeanCopilot

@lean-dojo

LLMs als Copiloten für das Theorem-Beweisen in Lean

↗ Auf GitHub öffnen

Sterne

1.318

Forks

128

Sprache

C++

Lizenz

MIT

Letzter Push

vor 2 Wochen

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

Noch keine verwandte Intel

Dieses Repo ist noch in keiner der vom Radar verfolgten Quellen aufgetaucht. Der Collector läuft nach Zeitplan — schau wieder vorbei, sobald er dieses Repo abdeckt.

Verwandte Intel (0)

Noch keine verwandte Intel