1/8 CompPoly on koneellisesti tarkistetun matematiikan kirjasto konkreettiseen polynomilaskentaan renkaiden ja äärellisten kenttien yli—algebra, joka on nykyaikaisten kryptografisten todistusjärjestelmien taustalla. @HarmonicMath Aristoteles on äskettäin tehnyt merkittäviä panoksia tiekartan vaiheen 1 sulkemiseksi. @vladtenev @tachim