New top story on Hacker News: HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
7 by mathematically | 2 comments on Hacker News.