Machine Logic

At the junction of computation, logic and mathematics

Tag: Ramsey's theorem

Formalising Ramsey theory, II (15 Jun 2022)
Formalising Ramsey theory, I (29 Dec 2021)

Machine Logic is maintained by Lawrence C Paulson.

subscribe via RSS