Download Mizar system


Downloads:

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.

Other FTP sites

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

Back Home Japanese