Lea – An agent backbone for mathematician-led formalization

(vida-nyu.github.io)

1 points | by JohnHammersley 7 hours ago ago