TY  - RPRT
TI  - What is a proof?
AU  - Alan Bundy
AU  - Mateja Jamnik
AU  - Andrew Fugard
PY  - 2005
DO  - 10.1098/rsta.2005.1651
UR  - https://pubmed.ncbi.nlm.nih.gov/16188611/
ID  - 16188611
ER  -