Descrição
Projetos de prova formal em Coq podem usar a versão de desenvolvimento da biblioteca Mathematical Components.
Este pacote Git é para quem precisa de mudanças mais novas que as da versão estável. Scripts de prova podem quebrar quando APIs mudam, então fixe versões em trabalhos importantes.