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