proof

2014-07-24 Introduction to Automated Theorem Proving with Logtk
2012-11-30 Debugging with DOT