Populární témata
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico-1,38 %
USELESS
USELESS+10,48 %
IKUN
IKUN-1,48 %
gib
gib+3,33 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,12 %
ALON
ALON-2,15 %
LAUNCHCOIN
LAUNCHCOIN-3,67 %
GOONC
GOONC+0,45 %
KLED
KLED+9 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,93 %
Boopa
Boopa-0,94 %
PORK
PORK0,00 %
header
Elias Judin
čistá matematika. Univerzální algebra // kategorická topologie // Galoisovy teorie. Univerzita v Kapském Městě.
Elias Judin
Elias Judin12. 3. 22:54
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
145