It is written in Free Pascal and the source code is available to all members of the Association of Mizar Users.
Die Software wurde in Free Pascal geschrieben, und der Quellcode ist für alle Mitglieder der Association of Mizar Users verfügbar.