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