1/8 CompPoly est une bibliothèque de mathématiques vérifiées par machine pour le calcul concret de polynômes sur des anneaux et des corps finis—l'algèbre derrière les systèmes de preuve cryptographiques modernes. @HarmonicMath Aristote a récemment apporté des contributions significatives pour aider à clôturer la Phase 1 de la feuille de route. @vladtenev @tachim