TY  - RPRT
TI  - Formalising Ordinal Partition Relations Using Isabelle/HOL
AU  - Mirna Džamonja
AU  - Angeliki Koutsoukou-Argyraki
AU  - Lawrence C. Paulson
PY  - 2021
DO  - 10.1080/10586458.2021.1980464
UR  - https://arxiv.org/abs/2011.13218
ID  - 2011.13218
ER  -