Bilanz der Quelle: Terence Tao hat das Palomar-Register als öffentliches Mathematik-Repository in Lean veröffentlicht. Es dient der Prüfung formalisierter Ergebnisse und der Implementierung abhängiger Kernen.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von terrytao.wordpress.com. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von terrytao.wordpress.com. Es erfolgte keine manuelle redaktionelle Bearbeitung.
