Mizar (software)/Definition: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Daniel Mietchen
(started; needs checking by expert)
 
imported>Peter Schmitt
(removed: hardware (???))
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
<noinclude>{{Subpages}}</noinclude>
<noinclude>{{Subpages}}</noinclude>
A group of hardware and software tools for automated verification of mathematical definitions and proofs.
A software package for automated verification of mathematical definitions and proofs.

Latest revision as of 19:20, 29 January 2010

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 software package for automated verification of mathematical definitions and proofs.

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