Personal project for Lean ATP exploration
Primary LanguageJupyter NotebookMIT LicenseMIT
This repository is not active