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.