Formalizing Results on Directed Sets

MaRDI QIDQ7361721FDO

Authors Akihisa Yamada, Jérémy Dubut

Publication date 24 May 2023

Cites work

• Cardinals in Isabelle/HOL
• Chain-complete posets and directed sets with applications
• Formalizing results on directed sets in isabelle/HOL (proof pearl)
• Forward analysis for WSTS. I: Completions
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Mechanizing set theory. Cardinal arithmetic and the axiom of choice
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology

This page was built for software: Formalizing Results on Directed Sets