Ergebnisse filtern Inhaltstyp Alle/Keine auswählen Personenverzeichnis Template-Ordner Bild VideourlCT Studiendatenbank-Metainformationen Icon Link Basisordner einer Sprache Veranstaltung Datei Sprachunabhängiger Ordner Medien-Ordner Ordner Unterseite Nachricht EasyForm Personen-Visitenkarte Kollektion Fontfamily Tiles-Seite Neue Inhalte seit Gestern Letzte Woche Letzter Monat Immer Suchergebnisse 1656 Inhalte gefunden Trefferliste sortieren Relevanz Datum (neueste zuerst) alphabetisch Kensho Tsurusaki: Literate programming in Lean Existiert in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video 24_07_2024 Carneiro.pdf Existiert in Video Recordings / TP_2024_02_Seminar_Series / Slides Mario Carneiro: Lean4Lean: Formalizing the type theory of Lean Existiert in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Rishikesh Vaishnav: Lean4Less: A Term-Patching Framework for Eliminating Defitional Equalities in Lean Existiert in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Shashank Pathak: GFLean: Autoformalisation for Lean via GF Existiert in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Evan Cavallo: Formalizing cubical interpretations of homotopy type theory Existiert in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Peter Dybjer: Inductive Definitions, Predicativity, and the Mahlo universe Existiert in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video schedule_WS-libraries_him.pdf Existiert in Assets / 2024 HIM-Seminar-Workshops-Scheduling.pdf Existiert in Assets / 2024 Brigitte Pientka: A Type-Theoretic Framework for Certified Meta-programming Existiert in Video Recordings / Women in Formal Math / YouTube_Video 1 2 3 4 5 6 7 ... 166 Die nächsten 10 Inhalte