1/8 CompPoly is een bibliotheek van machine-gecontroleerde wiskunde voor concrete polynoomberekeningen over ringen en eindige velden—de algebra achter moderne cryptografische bewijs systemen. @HarmonicMath Aristoteles heeft onlangs belangrijke bijdragen geleverd om Fase 1 van de roadmap te helpen afsluiten. @vladtenev @tachim