Lea – An agent backbone for mathematician-led formalization

1 points | by JohnHammersley 6 hours ago