google-deepmind/formal-conjectures
@google-deepmindEine Sammlung formalisierter Aussagen von Vermutungen in Lean.
Sterne
1.220
Forks
438
Sprache
Lean
Lizenz
Apache-2.0
Letzter Push
vor 6 Tagen
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.