Talk:Proof assistant: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Boris Tsirelson
(New page: {{subpages}})
 
imported>Daniel Mietchen
(→‎Example session: new section)
Line 1: Line 1:
{{subpages}}
{{subpages}}
== 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)]]? --[[User:Daniel Mietchen|Daniel Mietchen]] 21:33, 14 August 2010 (UTC)

Revision as of 15:33, 14 August 2010

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"