@misc{indiciaef1bc3229e595,
  title = {Mechanized HOL Reasoning in Set Theory},
  author = {Simon Guilloud and Sankalp Gambhir and Andrea Gilot and Viktor Kunčak},
  year = {2024},
  url = {https://arxiv.org/abs/2403.13403},
  note = {Source identifier: 2403.13403}
}