Description
Programming exercises can use a safer C-like language with contracts through a prebuilt package. It is useful when a course or project expects the C0 tools but you do not want to build them locally.
This is a language toolchain, usually used from the terminal. It helps check C0 programs for learning and teaching, but it is not meant to compile regular production C projects.