HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (2019)

Comments

from Hacker News https://ift.tt/33Ni8my
via

Comments

Popular posts from this blog