@misc{indiciaeddf24ce0360c,
  title = {Constructive mathematics},
  author = {Roger Apéry},
  year = {2017},
  url = {https://arxiv.org/abs/1705.05581},
  note = {Source identifier: 1705.05581}
}