Download Mizar system


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


Back Home Japanese