@misc{indiciaefef6a7848099,
  title = {Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories},
  author = {Ciarán Dunne and J. B. Wells},
  year = {2022},
  url = {https://arxiv.org/abs/2207.12039},
  note = {Source identifier: 2207.12039}
}