1/8 CompPoly é uma biblioteca de matemática checada por máquinas para cálculo concreto de polinômios sobre anéis e corpos finitos — a álgebra por trás dos sistemas criptográficos modernos de prova. @HarmonicMath Aristóteles recentemente fez contribuições significativas para ajudar a fechar a Fase 1 do roteiro. @vladtenev @tachim