1/8 CompPoly adalah perpustakaan matematika yang diperiksa mesin untuk komputasi polinomial konkret di atas cincin dan medan hitam—aljabar di balik sistem pembuktian kriptografi modern. @HarmonicMath Aristoteles baru-baru ini memberikan kontribusi signifikan untuk membantu menutup Fase 1 peta jalan. @vladtenev @tachim