GitHub repository: saza-ku/verus-devcontainer
Primary language: Dockerfile
Description: Devcontainer for Verus