mizar-8.1.05_5.37.1275


  • This version of the Mizar system has been precompiled with Free Pascal Compiler (ver. 2.4.2) for i386 compatible machines running the Linux operating system. The package contains the Mizar processor, the Mizar database, a set of utility programs, and GNU emacs Lisp mode for convenient work with the system. All Mizar articles constituting the Mizar Mathematical Library (MML) and their abstracts are also included in this release.