GitHub repository: southball/creusot-devcontainer
Primary language: Dockerfile
Created: 2024-04-14T12:22:35Z
Description: Attempt to make creusot + why3 work in VSCode devcontainer.