← Feed @czhang03@mathstodon.xyz Post #2099975 2025-08-20 10:50 UTC I think there needs to be a category of PL works named "SMT and prayers". Replies (0) No replies.