@article{Sets_Revisited-AFP,
  author  = {Eugene W. Stark},
  title   = {'Sets' Revisited: Working with a Large Category in Isabelle/HOL},
  journal = {Archive of Formal Proofs},
  month   = {January},
  year    = {2026},
  note    = {\url{https://isa-afp.org/entries/Sets_Revisited.html},
             Formal proof development},
  ISSN    = {2150-914x},
}