All public logs

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).

• 07:03, 5 October 2022 Benkoo talk contribs created page Video/Jacques Carette: "What I learned from formalizing Category Theory in Agda" (Created page with "{{cite book |first=Jacques |last=Carette |author-link=Jacques Carette |date=Sep 23, 2022 |title=Jacques Carette: "What I learned from formalizing Category Theory in Agda" |url=https://www.youtube.com/watch?v=VQiQtH47pbM |location=local page |publisher=Topos Institute }} <noinclude> {{#widget:YouTube |id=VQiQtH47pbM |width=640 }} {{PagePostfix |category_csd=Category Theory |seman...")