GitHub repository: sofia-rose/containerized-fstar
Primary language: Dockerfile
Description: Build a docker image with F*, Kremlin, Vale, and Z3 installed