nostreon on Nostr: Απλά δοκιμάζω μαθηματικά θεωρήματα ως εντολές ...