TY  - RPRT
TI  - HolPy: Interactive Theorem Proving in Python
AU  - Bohua Zhan
PY  - 2020
UR  - https://arxiv.org/abs/1905.05970
ID  - 1905.05970
ER  -