TY  - RPRT
TI  - (Seemingly) Impossible Theorems in Constructive Mathematics
AU  - Hannes Diener
AU  - Matthew Hendtlass
PY  - 2019
UR  - https://arxiv.org/abs/1904.11378
ID  - 1904.11378
ER  -