From the post:
How to use this Tutorial
This tutorial is meant to be used with a Clojure REPL handy. An example project has been set up.
You should be able to run all code examples in the logic-introduction.core namespace.
Won’t hurt you and could prove to be useful when having a go at logicians.