Proof assistant/Definition
Jump to navigation
Jump to search
A computer program used interactively for developing human-readable reliable mathematical documents in a formal language.
Main Article |
Discussion |
Related Articles [?]
|
Bibliography [?]
|
External Links [?]
|
Citable Version [?]
|
|||||||||||||||
|
A computer program used interactively for developing human-readable reliable mathematical documents in a formal language.