Tutorial: CheckMath Basics

Tutorial: CheckMath Basics

In this video, we demonstrate some basic features of CheckMath within Hypatia.