Download Mizar system

Latest Mizar releases for Win32, Linux (i386), Solaris (i386), FreeBSD (i386), Darwin/Mac OS X (PPC), and a pre-release for Linux (PPC):

ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/system/current

Win32 releases:

ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/system/i386-win32

Linux (i386) releases:

ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/system/i386-linux

Solaris (i386) releases:

ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/system/i386-solaris

FreeBSD (i386) releases:

ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/system/i386-freebsd

Darwin/Mac OS X (PPC) releases:

ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/system/ppc-darwin

Linux (PPC) releases:

ftp://markun.cs.shinshu-u.ac.jp/pub/mizar/system/ppc-linux

The file readme.txt contains instructions for installing Mizar on Win32. Similarly, there are files README for Linux, README for Solaris, README for FreeBSD, and README for Darwin.

Poland:

ftp://ftp.mizar.org/

ftp://mizar.uwb.edu.pl/pub/system/