← Feed @gvwilson@mastodon.social Post #3722402 2026-07-10 18:23 UTC Mori & Hashimoto 2026: "On the Correctness of Software Merge" https://arxiv.org/abs/2607.07987 Replies (0) No replies.