Lea – An agent backbone for mathematician-led formalization

(vida-nyu.github.io) by JohnHammersley | Aug 17, 2026 | 0 comments on HN