Awesome

practical-logic-handbook

Some code inspired by Handbook of Practical Logic and Automated Reasoning.

How to Run

sbt clean compile coverage test coverageReport