Case Studies

Real programs, real numbers. Explore proof of results across three categories.