← Feed @rezmason@merveilles.town Post #1963879 2026-04-26 16:17 UTC @anders Total Path Compression of Thankfulness Graphs & Its Implications, a formally verified proof in 80 pages by Mikrez Nameyoullforget Replies (0) No replies.