SUGSI Home CAI Status Shinshu University, Faculty of Engineering, Dept. of Information Engineering Mizar Links
Mizar Homepage Mechanized Mathematics and Its Applications