HN
New
Show
Ask
Jobs
Built with Astro
Lea – An agent backbone for mathematician-led formalization
(vida-nyu.github.io)
1 points | by
JohnHammersley
7 hours ago
No comments yet.