TY  - RPRT
TI  - Learning how to Prove: From the Coq Proof Assistant to Textbook Style
AU  - Sebastian Böhne
AU  - Christoph Kreitz
PY  - 2018
DO  - 10.4204/eptcs.267.1
UR  - https://arxiv.org/abs/1803.01466
ID  - 1803.01466
ER  -