variants of the coc are used in other proof assistants such as matita umurimo we wari uwo kwerekana ukuri cyanyaga ingabe kikaba gitsinze basanga ari we koko barumirwa