1/8 CompPoly là một thư viện toán học được kiểm tra bằng máy cho việc tính toán đa thức cụ thể trên các vành và trường hữu hạn—đó là đại số đứng sau các hệ thống chứng minh mật mã hiện đại. @HarmonicMath Aristotle gần đây đã có những đóng góp quan trọng để giúp hoàn thành Giai đoạn 1 của lộ trình. @vladtenev @tachim