G github.com Formal specifications and static checking of interfaces in Julia 4 points amkkma 3 years ago 0 comments