Proof assistant/Definition

From Citizendium
< Proof assistant
Revision as of 02:21, 12 August 2010 by imported>Boris Tsirelson (New page: <noinclude>{{Subpages}}</noinclude> A computer program used interactively for developing human-readable reliable mathematical documents in a formal language.)
(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=Proof_assistant/Definition&printable=yes
A definition or brief description of Proof assistant.

A computer program used interactively for developing human-readable reliable mathematical documents in a formal language.

Retrieved from "https://citizendium.org/wiki/index.php?title=Proof_assistant/Definition&oldid=746365"