Hacker News new | past | comments | ask | show | jobs | submit login
Pie – Proving, Interpolating and Eliminating on the Basis of First-Order Logic (arxiv.org)
29 points by sel1 16 days ago | hide | past | web | favorite | 2 comments

I suspect this is a botthat posts scraped papers from arxiv based on submission history, and no original comments, though happy to be proven wrong and retract if the submitter responds.

Read the paper. Meh, cool, I guess? I appreciate the work that must have gone into it. However, doesn't really add anything to the state of the art, nor improve the usability of any of the popular theorem provers like Isabelle, Coq, lean, acl2, etc.

Applications are open for YC Winter 2020

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