/InterfaceSpecs.jl

Playground for formal specifications of interfaces in Julia

Primary LanguageJuliaMIT LicenseMIT

Watchers