A simple template for a Lean 4 project in Github Codespaces
Primary LanguageLean
No issues in this repository yet.