← Feed @markusde@mathstodon.xyz Post #4247325 2026-07-30 13:34 UTC Brutal week to be a Lean Lover Replies (0) No replies.