Tutorial: CheckMath BasicsIn this video, we demonstrate some basic features of CheckMath within Hypatia.