mirror of
https://github.com/GTBarkley/comm_alg.git
synced 2024-12-25 23:28:36 -06:00
9 lines
124 B
YAML
9 lines
124 B
YAML
image:
|
|
file: .docker/gitpod/Dockerfile
|
|
|
|
vscode:
|
|
extensions:
|
|
- leanprover.lean4
|
|
|
|
tasks:
|
|
- init: lake exe cache get
|