Hacker News new | ask | show | jobs
Harmonic – AI for Formal Mathematical Reasoning (harmonic.fun)
2 points by jackmalpo 743 days ago