1/8 CompPoly — це бібліотека машинно перевіряної математики для конкретних поліноміальних обчислень над кільцями та скінченними полями — алгебра, що лежить в основі сучасних криптографічних систем доведення. @HarmonicMath Арістотель нещодавно зробив значний внесок у закриття першої фази дорожньої карти. @vladtenev @tachim