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

• 09:42, 6 June 2022 Benkoo talk contribs created page Video/Martin-Löf Type Theory-Speaking the Language (Created page with "{{cite book |first=Jacob |last=Neumann |author-link=Jacob Neumann |date=Feb 20, 2021 |title=Martin-Löf Type Theory-Speaking the Language |url=https://www.youtube.com/wa...")