@misc{indiciaea9f9570b4160,
  title = {A Guide to Krivine Realizability for Set Theory},
  author = {Richard Matthews},
  year = {2024},
  url = {https://arxiv.org/abs/2307.13563},
  note = {Source identifier: 2307.13563}
}