Playground for formal specifications of interfaces in Julia
Primary LanguageJuliaMIT LicenseMIT
No issues in this repository yet.