Mizar

目次

• はじめに
  • Mizarとは
• 証明法
  • 証明思考法
• 構文
  • article
    • 環境部
    • 本体部
  • 型
  • 記号
  • 他言語との比較
  • ErrorCode
• 演習
• Q&A
• 外部リンク
  • Manual
• 索引
  • Article検索

このページ「Mizar」は、まだ書きかけです。加筆・訂正など、協力いただける皆様の編集を心からお待ちしております。また、ご意見などがありましたら、お気軽にトークページへどうぞ。