variants of the coc are used in other proof assistants such as matita naho gutabaza ni ugushyingura umwami abudul yakuye amagi muri karito umwe umwe