TY  - RPRT
TI  - Isabelle/HOL/GST: A Formal Proof Environment for Generalized Set Theories
AU  - Ciarán Dunne
AU  - J. B. Wells
PY  - 2022
UR  - https://arxiv.org/abs/2207.12039
ID  - 2207.12039
ER  -