HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
3 by MrXOR | 0 comments on Hacker News.
Apr 27, 2019
New top story on Hacker News: HOList: An Environment for Machine Learning of Higher-Order Theorem Proving
';
(function() {
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
dsq.src = '//' + disqus_shortname + '.disqus.com/embed.js';
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
})();
0 comments:
Post a Comment