2,631
edits
PG Web: Difference between revisions
Jump to navigation
Jump to search
m
Robot: Adding UnknownWikiLogo
m (Robot: Automated text replacement (-http://www.wikiindex.com/images/e/e6/NoLogo.png +Image:NoLogo.png)) |
m (Robot: Adding UnknownWikiLogo) |
||
| Line 12: | Line 12: | ||
==Description== | ==Description== | ||
Good interfaces and development tools are crucial if interactive proof systems are to be adopted by mathematicians and computer programmers. Unfortunately, the development tools available for theorem provers are often quite rudimentary. The Proof General project is an ongoing attempt to redress this. Proof General provides a generic interface to interactive theorem provers such as Isabelle or Coq. It is packed with ExcitingFeatures (see some ScreenShots) and a wide range of bugs. | Good interfaces and development tools are crucial if interactive proof systems are to be adopted by mathematicians and computer programmers. Unfortunately, the development tools available for theorem provers are often quite rudimentary. The Proof General project is an ongoing attempt to redress this. Proof General provides a generic interface to interactive theorem provers such as Isabelle or Coq. It is packed with ExcitingFeatures (see some ScreenShots) and a wide range of bugs. | ||
[[Category:UnknownWikiLogo]] | |||