Visual Studio Code Extension and Auto-completion for Mizar Language. - Hirota Taniguchi; Kazuhisa Nakasho (CANDAR, 2021)