← Feed @ohad@mathstodon.xyz Post #2049512 2026-04-30 21:40 UTC @bentnib I think I have something to submit, will check with my coauthor @mkerjean Replies (0) No replies.