Filter the results Item type Select All/None Person Register Template-Folder Image VideourlCT Study database metainformation Icon Link Language Root Folder Event File Language Independent Folder Medien-Ordner Folder Subsite News EasyForm Person Business Card Collection Fontfamily Tiles-Seite New items since Yesterday Last week Last month Ever Search results 2013 items matching your search terms. Sort by relevance date (newest first) alphabetically Kensho Tsurusaki: Literate programming in Lean Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video 24_07_2024 Carneiro.pdf Located in Video Recordings / TP_2024_02_Seminar_Series / Slides Mario Carneiro: Lean4Lean: Formalizing the type theory of Lean Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Rishikesh Vaishnav: Lean4Less: A Term-Patching Framework for Eliminating Defitional Equalities in Lean Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Shashank Pathak: GFLean: Autoformalisation for Lean via GF Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Evan Cavallo: Formalizing cubical interpretations of homotopy type theory Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Peter Dybjer: Inductive Definitions, Predicativity, and the Mahlo universe Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video schedule_WS-libraries_him.pdf Located in Assets / 2024 HIM-Seminar-Workshops-Scheduling.pdf Located in Assets / 2024 Brigitte Pientka: A Type-Theoretic Framework for Certified Meta-programming Located in Video Recordings / Women in Formal Math / YouTube_Video 1 2 3 4 5 6 7 ... 202 Next 10 items