← Feed @mike@sauropods.win Post #2438877 2026-05-06 13:14 UTC @tao@mathstodon.xyz Surely the output of mathematics is not proofs but understanding. Replies (0) No replies.