Filter the results Item type Select All/None Medien-Ordner Subsite Language Independent Folder Collection Person Register Event News Template-Folder VideourlCT Person Business Card Link Study database metainformation File EasyForm Tiles-Seite Fontfamily Language Root Folder Icon Image Folder New items since Yesterday Last week Last month Ever Search results 2005 items matching your search terms. Sort by relevance date (newest first) alphabetically Brigitte Pientka: A Type-Theoretic Framework for Certified Meta-programming Located in Video Recordings / Women in Formal Math / YouTube_Video Andrea Kolhase: Insights into Search Interfaces for Mathematicians Located in Video Recordings / Women in Formal Math / YouTube_Video Mateja Jamnik: How can we make trustworthy AI Located in Video Recordings / Women in Formal Math / YouTube_Video Lucy Horowitz: MathGloss and Beyond Located in Video Recordings / Women in Formal Math / YouTube_Video María Inés de Frutos-Fernández: Local fields in Lean Located in Video Recordings / Women in Formal Math / YouTube_Video Sandra Alves: Structural Rules and Algebraic Properties of Intersection Types Located in Video Recordings / Women in Formal Math / YouTube_Video logic black.jpg Located in Pictures Michail Karatarakis: Formalizing Deligne's theorem (Number theory) Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Workgroup 1 - Moderation: Mateja Jamnik and Wenda Li Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video Emily Riehl: Formalizing post-rigorous mathematics Located in Video Recordings / TP_2024_02_WS_2_Video / YouTube_Video 1 2 3 4 5 6 7 ... 201 Next 10 items