The development of C0 and the 15-122 course curriculum has been
supported by the MSR-CMU Center for Computational Thinking under a
project on Specification and Verification in Introductory Computer
Science and by a gift from Google for the development of CMU's
introductory undergraduate courses.