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

#100 · ✸ 12 · 💬 3 · 2 years ago · arxiv.org · mathematically · 📷