New Mizar mirror site at Auburn University
Adam Naumowicz <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <Pine.SOL.4.64.1101281138370.23721@math> |
Dear All, I'd like to announce that we have set up a new Mizar mirror site at Auburn University. The address is: http://mizar.auburn.edu Since the operation of the Canadian mirror maintained by Piotr Rudnicki in Edmonton has been discontinued, this new site will now be the main Mizar mirror in America. Regards, Adam Naumowicz ======================================================================= Dept. of Programming and Formal Methods Fax: +48(85)7457662 Institute of Informatics Tel: +48(85)7457559 (office) University of Bialystok E-mail: [email protected] Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/ =======================================================================