7.1 Installation

Each file of MS-DOS version and the Linux version for Practice Environment installation of Mizar is about 14 M bytes archive file. Therefore, it is easy to get them using a browser or the ftp command from Homepage and the ftp server of Mizar. For example, if it is from Homepege, please get them from the following URL etc.

http://markun.cs.shinshu-u.ac.jp/kiso/projects2/proofchecker/mizar/index-j.html


    Please refer to Appendix C about getting from an anonymous ftp server.
    Mizar is used installing the Mizar archive file to the hard disk.