New top story on Hacker News: Graph Representations for Higher-Order Logic and Theorem Proving

Graph Representations for Higher-Order Logic and Theorem Proving
8 by brzozowski | 0 comments on Hacker News.