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 Josef Urban: The Proofgold blockchain Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Panel Discussion on Formalization in Mathematics Located in Video Recordings / TP_2024_02_WS_1_Video / YouTube_Video Sebastian Ullrich: Profiling Tools in Lean Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Valeria de Paiva: Dialectica Categories for all Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Maximilian Doré : Automating Reasoning in Cubical Type Theory Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Mario Carneiro: Impromptu chat about HB in Lean Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Mirna Džamonja: Calculating ordinal invariants - can you do better than a human ? Located in Video Recordings / TP_2024_02_Seminar_Series / YouTube_Video Book of Abstracts_Maximal Operators and Applications.pdf Located in Pictures abstracts_WS-bridging_him.pdf Located in Assets / 2024 Gruppenbild_Workshop Representations of supergroups.JPG Located in Pictures Previous 10 items 1 ... 3 4 5 6 7 8 9 ... 202 Next 10 items