Mizar Lecture Notes

 ( 4th Edition：Mizar Ver.6.1.12）

Yatsuka Nakamura, Toshihiko Watanabe
Yasushi Tanaka, Pauline Kawamoto
--> Table of Contents

Shinshu University,
Dept. of Information Engineering, Kiso Lab.