@misc{indiciaefc7ae7b66801,
  title = {Varieties of mathematical understanding},
  author = {Jeremy Avigad},
  year = {2023},
  doi = {10.1090/bull/1726},
  url = {https://arxiv.org/abs/2310.20100},
  note = {Source identifier: 2310.20100}
}