/lean4-codespaces-template

A simple template for a Lean 4 project in Github Codespaces

Primary LanguageLean

lean4-codespaces-template

A dead simple template for a Lean 4 project in Github Codespaces.

Assuming you have access to Codespaces:

  1. Hit the "Use this template" button to create your own repo, hit the "Code" button, and select "New codespace"
  2. Write proofs on your iPad or whatever
  3. ????
  4. Profit.