Gold is a containerized environment for working on provably correct software
Primary LanguageShellMIT LicenseMIT