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?