bakirtzisg/AlgebraicContracts.jl

Specifying contracts compositionally

语言：Julia · GitHub 星标：4 · Fork：1

话题：contracts · engineering · math · modeling

在 GitHub 上查看原仓库