This directory contains exercises from the chapter

   Ivy: A Preprocessor and Proof Checker for First-order Logic

and the solutions.
