A library for creating and executing formal specifications.
MattiNieminen/clj-formal-specifications
cljdoc- 318 Downloads
- 118 This Version
Leiningen/Boot
[clj-formal-specifications "1.2.0"]
Clojure CLI/deps.edn
clj-formal-specifications/clj-formal-specifications {:mvn/version "1.2.0"}
Gradle
implementation("clj-formal-specifications:clj-formal-specifications:1.2.0")Maven
<dependency> <groupId>clj-formal-specifications</groupId> <artifactId>clj-formal-specifications</artifactId> <version>1.2.0</version> </dependency>
Pushed by
mattinieminen on Mar 21, 2015 with this git treeRecent Versions
Dependencies
Homepage
https://github.com/MattiNieminen/clj-formal-specificationsLicense
Version Badge
Want to display the latest version of your project on GitHub? Use the markdown code below!
If you want to include pre-releases and snapshots, use the following markdown code:
