Filter the results Item type Select All/None Image File EasyForm Medien-Ordner Collection Person Register Language Independent Folder Study database metainformation Person Business Card Fontfamily Template-Folder News Icon VideourlCT Folder Event Tiles-Seite Language Root Folder Subsite Link 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