Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Formalising Ordinal Partition Relations

view this post on Zulip Email Gateway (Dec 01 2020 at 16:07):

From: Lawrence Paulson <>
If you’re interested in the formalisation of set theory using Isabelle/HOL, then you might be interested in the following new paper:


Last updated: Jul 15 2022 at 23:21 UTC