Proof assistant/Definition

From Citizendium
Jump to navigation Jump to search
This article is developing and not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
A definition or brief description of Proof assistant.

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