Download Mizar system


Downloads:

Latest official Mizar releases for Win32, Linux(i386), Solaris(i386), FreeBSD(i386), Darwin/Mac OS X/macOS(i386), Darwin/Mac OS X(PPC), Linux(PPC) and Linux(ARM)
current 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 sites

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

Back Home Japanese