TY  - RPRT
TI  - A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving
AU  - Freek Wiedijk
PY  - 2012
DO  - 10.2168/lmcs-8(1:30)2012
UR  - https://arxiv.org/abs/1201.3601
ID  - 1201.3601
ER  -