Mizar (software)/Definition

From Citizendium
< Mizar (software)
Revision as of 04:02, 29 January 2010 by imported>Daniel Mietchen (started; needs checking by expert)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
This article is developing and not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
https://en.citizendium.org/wiki/index.php?title=Mizar_(software)/Definition&printable=yes
A definition or brief description of Mizar (software).

A group of hardware and software tools for automated verification of mathematical definitions and proofs.

Retrieved from "https://citizendium.org/wiki/index.php?title=Mizar_(software)/Definition&oldid=720441"