Lean 4 and Idris 2 are underrated, and likely great for LLM's to code in (since ... | Hacker News

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

pmarreck 63 days ago | parent | context | favorite | on: Leanstral 1.5

Lean 4 and Idris 2 are underrated, and likely great for LLM's to code in (since they provide additional guarantees)

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