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

• 14:18, 15 January 2023 Benkoo2 talk contribs created page Video/Abstract Induction - Patrick Cousot (Created page with "{{cite book |first=Patrick |last=Cousot |author-link=Patrick Cousot |date=Oct 13, 2015 |title=Abstract Induction - Patrick Cousot |url=https://www.youtube.com/watch?v=lM9mRAeN-JY |location=local page |publisher=ETH WSCR }} <noinclude> {{#widget:YouTube |id=lM9mRAeN-JY }} A transcript of this is available here:[https://www.assemblyai.com/playground/transcript/r3qvs98vtx-7f5d-4a04-b946-33d5fc99d475 Assembly AI], see a...")