logic

2021-02-23 Curry-Howard is overrated
2014-07-24 Introduction to Automated Theorem Proving with Logtk
2012-11-30 Debugging with DOT