Lea – An agent backbone for mathematician-led formalizationvida-nyu.github.io1 point·JohnHammersley··0 commentsOpen articleSaveView on HN