Descrição
Exercícios de programação podem usar uma linguagem parecida com C, mais segura e com contratos, por meio de um pacote pré-compilado. É útil quando um curso ou projeto espera as ferramentas C0 e você não quer compilá-las localmente.
É um conjunto de ferramentas de linguagem, normalmente usado pelo terminal. Ele ajuda a verificar programas C0 para estudo e ensino, mas não foi feito para compilar projetos C comuns de produção.