← Feed @nono2357@infosec.exchange Post #4539324 2026-08-24 05:15 UTC Lea — An agent backbone for mathematician-led formalization. #lean #ai https://vida-nyu.github.io/Lea/ Replies (0) No replies.