238 followers
RT @LawrPaulson: Just published, in memory of Ken Kunen https://t.co/V5ykPK8aCu
RT @LawrPaulson: Just published, in memory of Ken Kunen https://t.co/V5ykPK8aCu
A formalised theorem in the partition calculus. ~ Lawrence C. Paulson (@ target="_blank" href="mailto:lawrpaulson[email protected]).">@bird.makeup">[email protected]). https://t.co/JNrwxN8B0e #ITP #IsabelleHOL
RT @LawrPaulson: Just published, in memory of Ken Kunen https://t.co/V5ykPK8aCu
RT @LawrPaulson: Just published, in memory of Ken Kunen https://t.co/V5ykPK8aCu