MattiNieminen/clj-formal-specifications

A Clojure library for creating executable formal specifications.

语言：Clojure · GitHub 星标：7 · Fork：2

在 GitHub 上查看原仓库