/lean-winter

Personal project for Lean ATP exploration

Primary LanguageJupyter NotebookMIT LicenseMIT

Stargazers