← Feed @jonmsterling@mathstodon.xyz Post #2236923 2026-05-02 19:31 UTC @zwarich@hachyderm.io Yeah, absolutely. Well, to be honest, I think Lean might be the right ML in which to build the next LCF. Replies (0) No replies.