Theorem proving like lean4. Ie programs that aren't about state manipulation | Hacker News

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

yCombLinks on July 11, 2023 | parent | context | favorite | on: Ask HN: When is pure functional programming benefi...

Theorem proving like lean4. Ie programs that aren't about state manipulation

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