Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Formalising Ordinal Partition Relations

Email Gateway (Dec 01 2020 at 16:07):

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

https://arxiv.org/abs/2011.13218

Larry

Last updated: Jan 04 2025 at 20:18 UTC