/lean4-codespaces-template

A simple template for a Lean 4 project in Github Codespaces

Primary LanguageLean

Watchers