1/8 CompPoly è una libreria di matematica verificata da macchina per il calcolo concreto di polinomi su anelli e campi finiti—l'algebra dietro i moderni sistemi di prova crittografica. @HarmonicMath Aristotele ha recentemente fatto contributi significativi per aiutare a chiudere la Fase 1 della roadmap. @vladtenev @tachim