scripts/setup-coq.sh · 8260c255367170dc8c21cadb7f5a223afd28473b · Lennard Gäher / Refinedrust Dev · GitLab

Skip to content

GitLab

Explore

Sign in

refinedrust-dev
scripts
setup-coq.sh

Blame Permalink

Nov 22, 2023
8260c255

add some setup scripts for consumers of refinedrust · 8260c255
Lennard Gäher authored Nov 22, 2023

8260c255

add some setup scripts for consumers of refinedrust
Lennard Gäher authored Nov 22, 2023

Loading