1/8 CompPoly to biblioteka matematyki sprawdzonej maszynowo do konkretnych obliczeń wielomianowych w pierścieniach i polach skończonych — algebra stojąca za nowoczesnymi systemami dowodów kryptograficznych. @HarmonicMath Arystoteles niedawno wniósł znaczący wkład, aby pomóc zamknąć Faza 1 mapy drogowej. @vladtenev @tachim