Proof assistant/Bibliography

From Citizendium
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
This article is developing and not approved.
 Main Article
 Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
https://en.citizendium.org/wiki/index.php?title=Proof_assistant/Bibliography&printable=yes
A list of key readings about Proof assistant.
Please sort and annotate in a user-friendly manner. For formatting, consider using automated reference wikification.

Nipkow, Tobias; Lawrence C. Paulson & Markus Wenzel (2002), Isabelle/HOL — A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, vol. 2283, Springer, ISBN 3-540-43376-7.

Wiedijk, Freek, ed. (2006), The Seventeen Provers of the World, Lecture Notes in Artificial Intelligence, vol. 3600, Springer, ISBN 3-540-30704-4.

(In both cases PDF files are available for free download, see the external links page).

Background matter

Bourbaki, Nicolas (1968), Elements of mathematics: Theory of sets, Hermann (original), Addison-Wesley (translation).

Taylor, Paul (1999), Practical foundations of mathematics, Cambridge University, ISBN 0 521 63107 6.

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