/ntptutorial

Tutorial on neural theorem proving

Primary LanguageJupyter NotebookMIT LicenseMIT

Stargazers