Talk:Proof assistant

From Citizendium
Revision as of 15:33, 14 August 2010 by imported>Daniel Mietchen (→‎Example session: new section)
Jump to navigation Jump to search
This article is developing and not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
To learn how to update the categories for this article, see here. To update categories, edit the metadata template.
 Definition:  A computer program used interactively for developing human-readable reliable mathematical documents in a formal language. [d] [e]
Checklist and Archives
 Workgroup categories:  Mathematics and Computers [Please add or review categories]
 Talk Archive:  none  English language variant:  American English

Example session

I find this section very illuminating but I wonder whether it is properly placed in this article. It could probably go to a subpage here, but why not put it into an article of its own, e.g. Proof General (software)? --Daniel Mietchen 21:33, 14 August 2010 (UTC)

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