Page "Mizar system" Paragraph 14
from
Wikipedia
Distributions of the Mizar Proof Checker for all major operating systems are freely available for downloaded at the Mizar Project website.
It is written in Free Pascal and the source code is available to all members of the Association of Mizar Users.
Page 1 of 1.
2.233 seconds.