@misc{indiciaef1a44f1205df,
  title = {In 1955, Paul Lorenzen clears the sky in foundations of mathematics for Hermann Weyl},
  author = {Stefan Neuwirth and Henri Lombardi and Thierry Coquand},
  year = {2024},
  url = {https://arxiv.org/abs/2411.16469},
  note = {Source identifier: 2411.16469}
}