Harmonic – AI for Formal Mathematical Reasoning #1 Post by jackmalpo » Mon, Jun 10, 2024, 3:32 PM UTC Harmonic – AI for Formal Mathematical Reasoningharmonic.fun