spolu/code-contracts

Open format for specifying structured assumptions and requirements about code.

语言：TypeScript · GitHub 星标：99 · Fork：7

在 GitHub 上查看原仓库