Personal project for Lean ATP exploration
Primary LanguageJupyter NotebookMIT LicenseMIT
No issues in this repository yet.