GitHub repository: wellecks/ntptutorial
Primary language: Jupyter Notebook
Description: Tutorial on neural theorem proving