A dead simple template for a Lean 4 project in Github Codespaces.
Assuming you have access to Codespaces:
- Hit the "Use this template" button to create your own repo, hit the "Code" button, and select "New codespace"
- Write proofs on your iPad or whatever
- ????
- Profit.