TY  - RPRT
TI  - Proofs by example
AU  - Benjamin Matschke
PY  - 2019
UR  - https://arxiv.org/abs/1909.00480
ID  - 1909.00480
ER  -