[mizar] New URL of Mizar Reference Tool

[Kazuhisa NAKASHO <k.nakasho@gmail.com>]

Dear Mizar Users,

I would like to inform you that the Mizar reference tool has been replaced because the former server was shut down.
The new URL is:

https://mimosa-project.github.io/mmlreference/current/ 

Sincerely,

Kazuhisa Nakasho

--

Kazuhisa Nakasho (Associate Professor)

Division of Information Science & Engineering

Faculty of Engineering

Graduate School of Science & Technology for Innovation

Yamaguchi University

2-16-1 Tokiwa-dai, Ube, Yamaguchi, 755-8611, Japan

Email: nakasho@yamaguchi-u.ac.jp

Tel: +81-836-85-9541

Mobile: +81-90-8232-3271