← Feed @counting_is_hard@mathstodon.xyz 2026-05-11 18:46 UTC Used the law of excluded middle today, FML Replies (0) No replies.