lean-dojo/LeanDojo
@lean-dojoTool zur Datenextraktion und programmatischen Interaktion mit Lean.
Sterne
832
Forks
118
Sprache
Python
Lizenz
MIT
Letzter Push
vor 8 Monaten
Verwandte Intel (0)
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.