形式化数学・Mizar関連リンク

• Mizar System全般 (信州大学)
  Mizar Systemのダウンロードはここからできます。
  

• ポーランドのMizar本部のFTPサイト
  上記に最新版が無い場合はこちら。