TY  - RPRT
TI  - Formalization of the fundamental group in untyped set theory using auto2
AU  - Bohua Zhan
PY  - 2017
DO  - 10.1007/978-3-319-66107-0_32
UR  - https://arxiv.org/abs/1707.04757
ID  - 1707.04757
ER  -