Mizar (software)/Related Articles

From Citizendium

< Mizar (software)

Revision as of 18:06, 29 January 2010 by imported>Peter Schmitt (Mizar/Related Articles moved to Mizar (software)/Related Articles: disambig)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

Related Articles ^[?]

Bibliography ^[?]

External Links ^[?]

Citable Version ^[?]

A list of Citizendium articles, and planned articles, about Mizar (software).

See also changes related to Mizar (software), or pages that link to Mizar (software) or to this page or whose text contains "Mizar (software)".

Parent topics

Proof (mathematics) [r]: A sequence of arguments which establishes that some mathematical statement is implied by a certain set of assumptions. ^[e]
Computer proof [r]: Add brief definition or description

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

Hidden categories: