Rudnicki, Piotr "An Overview of the MIZAR Project" Department of Computing Science University of Alberta June 30, 1992

Languages mentioned

• Mizar {1973}
• Mizar {1988}
• Mizar 2 {1986}
• Mizar 2 {1986}
• Mizar 3 {1987}
• Mizar FC {1978}
• Mizar HPF {1987}
• Mizar MSE {1982}
• Mizar PC {1990}
• Mizar QC {1977}
• Peano {1888} Peano
• Post production {1941} Emil Post production system
• Tarski {1933}