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
3 by MrXOR | 0 comments on Hacker News.