Join Nostr
2026-01-02 14:25:22 UTC
in reply to

J on Nostr: For advancing proof tech? Or.. for like analysis, algebra, and number theory?

For advancing proof tech? Or.. for like analysis, algebra, and number theory?