mathcomp-tcc

Possíveis contribuições do TCC de Bruno Rafael dos Santos para a biblioteca mathcomp (provalvelmente o código precisará ser refatorado para que sirva de contribuição para a biblioteca).

Informações:

• Autor: Bruno Rafael dos Santos
• Versões de Coq utilizada: 8.19.2
• Licença: Licença MIT

Comandos para compilação e instalação:

eval `opam config env` # comando recomendado pelo Opam ao iniciar o shell
cd mathcomp-tcc
make
make install