1/8 CompPoly es una biblioteca de matemáticas verificadas por máquina para el cálculo concreto de polinomios sobre anillos y campos finitos, el álgebra detrás de los sistemas de demostración criptográfica modernos. @HarmonicMath Aristóteles ha realizado recientemente contribuciones significativas para ayudar a cerrar la Fase 1 de la hoja de ruta. @vladtenev @tachim