Mechanized Mathematics and Its Applications
Volume 8, Number 1, 2010

Table of Contents


  1. MizarMML-DB, a simple free Database for Mizar Articles
    by Takao Inoue
  2. Formalization of Finite and Discrete Probability
    by Kenichi Arai and Hiroyuki Okazaki
  3. Mizar Formalization of Lp Space
    by Yasushige Watase
(Last updated: March 2010)