Harmonic's Aristotle is a sort-of language specific model for Lean, if you want ... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

eru 37 days ago | parent | context | favorite | on: DeepSeek V4 Pro 0813

Harmonic's Aristotle is a sort-of language specific model for Lean, if you want to see the future you described today.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact