Formal specifications and static checking of interfaces in Juliagithub.com4 points·amkkma··0 commentsOpen articleSaveView on HN