← Feed @chrisamaphone@hci.social Post #4230130 2026-04-26 04:22 UTC @ltchen@mathstodon.xyz do you know what he's saying about "putting proof kernels inside abstract data types" in ML? Replies (0) No replies.