Experimental Mathematics
Volume 31, 2022 - Issue 2
Interactive Theorem Provers
Formalizing Ordinal Partition Relations Using Isabelle/HOL
Mirna Džamonjaa IRIF, CNRS-Université de Paris, Paris, France;b Institute of Mathematics, Czech Academy of Sciences, Prague, Czech Republic;
https://orcid.org/0000-0002-6771-3975View further author information
https://orcid.org/0000-0002-6771-3975View further author information, Angeliki Koutsoukou-Argyrakic Computer Laboratory, University of Cambridge, Cambridge, UKCorrespondence[email protected]
https://orcid.org/0000-0002-8886-5281View further author information
https://orcid.org/0000-0002-8886-5281View further author information & Lawrence C. Paulsonc Computer Laboratory, University of Cambridge, Cambridge, UKhttps://orcid.org/0000-0003-0288-4279View further author information
https://orcid.org/0000-0003-0288-4279View further author information