Yes, if you don't mind the repetition or have tooling to deal with it, you can h... | Hacker News

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

yorwba 59 days ago | parent | context | favorite | on: We have proof automation now

Yes, if you don't mind the repetition or have tooling to deal with it, you can have multiple separate proofs, dependent types won't stop you.

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