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