@misc{indiciae7f451c42b4ca,
  title = {What is a proof?},
  author = {Alan Bundy and Mateja Jamnik and Andrew Fugard},
  year = {2005},
  doi = {10.1098/rsta.2005.1651},
  url = {https://pubmed.ncbi.nlm.nih.gov/16188611/},
  note = {Source identifier: 16188611}
}