1/8 CompPoly este o bibliotecă de matematică verificată de mașini pentru calculul concret al polinoamelor peste inele și câmpuri finite — algebra din spatele sistemelor moderne de demonstrație criptografică. @HarmonicMath Aristotel a adus recent contribuții semnificative pentru a ajuta la închiderea Fazei 1 a foii de parcurs. @vladtenev @tachim