@misc{indiciae5befd10d77be,
  title = {On dependent types and intuitionism in programming mathematics},
  author = {Sergei D. Meshveliani},
  year = {2017},
  url = {https://arxiv.org/abs/1709.01810},
  note = {Source identifier: 1709.01810}
}