Hirota Taniguchi

According to our database, Hirota Taniguchi authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Visual Studio Code Extension and Auto-completion for Mizar Language.

Hirota Taniguchi, Kazuhisa Nakasho

Proceedings of the Ninth International Symposium on Computing and Networking, 2021