Mizar (software)/Related Articles

From Citizendium

< Mizar (software)

Revision as of 07:57, 29 January 2010 by imported>Peter Schmitt (new)

(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=720446"

Hidden categories: