Ergebnisse filtern Inhaltstyp Alle/Keine auswählen Datei VideourlCT Icon Template-Ordner Unterseite Studiendatenbank-Metainformationen EasyForm Sprachunabhängiger Ordner Basisordner einer Sprache Medien-Ordner Personen-Visitenkarte Tiles-Seite Link Nachricht Personenverzeichnis Ordner Fontfamily Kollektion Bild Veranstaltung 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