CS 173: Discrete Structures Tools

In this course we will use