1/8 CompPoly je knihovna strojově ověřené matematiky pro konkrétní výpočty polynomů nad okruhy a konečnými tělesy – algebra stojící za moderními kryptografickými důkazními systémy. @HarmonicMath Aristoteles nedávno významně přispěl k uzavření první fáze plánu. @vladtenev @tachim