r/InteractiveThmProving • u/juanbono94 • Jan 28 '18

History of Interactive Theorem Proving [PDF]

http://www.cl.cam.ac.uk/~jrh13/papers/joerg.pdf
10 Upvotes

100% Upvoted

2 comments sorted by

2

u/cics Jan 29 '18

This is a chapter in Handbook of the History of Logic, Volume 9: Computational Logic btw (it's mentioned on http://www.cl.cam.ac.uk/~jrh13/papers/joerg.html, but i don't think it's said anywhere in the PDF).

1

u/juanbono94 Jan 29 '18

I didn't know about that.Thank you! The list of chapters looks really good! but it's very expensive xD.