chore: add .gitpod.yml and .docker/gitpod/Dockerfile#732

Merged

kim-em merged 2 commits intoleanprover-community:mainfrom austinletson:add-docker-gitpod-565

Apr 18, 2024

+47

Commits on Apr 12, 2024

chore: add .gitpod.yml and .docker/gitpod/Dockerfile
austinletson
committed

Commits on Apr 17, 2024

chore: remove duplicate git and python3 from docker installs
austinletson
committed