All public logs
Jump to navigation
Jump to search
Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 01:12, 5 October 2022 Benkoo talk contribs moved page Video/From Scratch to Univalence - to Video/From Scratch to Univalence - SoME2
- 01:12, 5 October 2022 Benkoo talk contribs created page Video/From Scratch to Univalence - (Created page with "{{cite book |editor=Looping Back |editor-link=Looping Back |date=Aug 15, 2022 |title=From Scratch to Univalence - SoME2 |url=https://www.youtube.com/watch?v=yIgzlWgGfgw |location=local page |publisher=Looping Back }} <noinclude> {{#widget:YouTube |id=yIgzlWgGfgw |width=640 |height=360 }} {{PagePostfix |category_csd=Univalence,Category Theory |semantic_labels=Organized by:Organized by::Looping Back }} </noinclude>")