New top story on Hacker News: Pie – Proving, Interpolating and Eliminating on the Basis of First-Order Logic

Pie – Proving, Interpolating and Eliminating on the Basis of First-Order Logic
3 by sel1 | 0 comments on Hacker News.