1/8 CompPoly ist eine Bibliothek für maschinengeprüfte Mathematik zur konkreten polynomialen Berechnung über Ringen und endlichen Körpern – die Algebra hinter modernen kryptografischen Beweissystemen. @HarmonicMath Aristoteles hat kürzlich bedeutende Beiträge geleistet, um Phase 1 des Fahrplans abzuschließen. @vladtenev @tachim