M IZAR : the first 30 years
暂无分享,去创建一个
We present the story of the MIZAR project with focus on the years until 1989. A lot about MIZAR after 1989 is available at the web.
[1] Zinaida Trybulec,et al. Boolean Properties of Sets , 1990 .
[2] A. Trybulec. Tarski Grothendieck Set Theory , 1990 .
[3] Andrzej Trybulec,et al. A Borsuk Theorem on Homotopy Types , 1991 .
[4] Piotr Rudnicki,et al. Proving properties of Pascal programs in MIZAR 2 , 2004, Acta Informatica.