martin-lof
martin-lof copied to clipboard
"Assertion and Request"
trafficstars
That was a talk given in 2017 or so and it is cited has having been transcribed by Ansten Klev. But I can't find any version of it online. See Twitter thread for references.
Have you tried emailing Ansten Klev and asking him whether he would be willing to share his notes (& have them uploaded here, ideally)?
Email sent.
Hi, the transcript is now available online at: https://pml.flu.cas.cz/.
Added in #36.