New URL of Mizar Reference Tool
Kazuhisa NAKASHO <[email protected]> Thu, 2 Apr 2020 20:46:51 +0900
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <CAO4Q53bu3jL9dCpeqt3ScAGPbfrfV2UdqOMVSbPZuWxmBeP1QQ@mail.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: [email protected] Tel: +81-836-85-9541 Mobile: +81-90-8232-3271