Pretty much this. I designed my own research harness and infra for theorem provi... | Hacker News

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

fractorial 23 days ago | parent | context | favorite | on: We have proof automation now

Pretty much this. I designed my own research harness and infra for theorem proving and conjecturing; however, you still need to review formulations!

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