TY  - RPRT
TI  - Fail better: What formalized math can teach us about learning
AU  - João Marcos
PY  - 2015
UR  - https://arxiv.org/abs/1507.03673
ID  - 1507.03673
ER  -