1/8 CompPoly é uma biblioteca de matemática verificada por máquina para computação polinomial concreta sobre anéis e campos finitos— a álgebra por trás dos modernos sistemas de prova criptográfica. @HarmonicMath Aristóteles fez recentemente contribuições significativas para ajudar a fechar a Fase 1 do roteiro. @vladtenev @tachim