Mizar Verifier Extended Package
(1)Enter Your ID, Your Name and Your E-mail Address.
(2)Click [START] Button.
Your ID
（ex: 98T5001B）
Your Name
（ex: Nagano Hanako）
Your E-mail Address
（ex: Hanako@cs.shinshu-u.ac.jp）