A Clojure DSL for typesetting documents that consist of claims and their proofs.
[typeset "1.0.0-SNAPSHOT"]
typeset/typeset {:mvn/version "1.0.0-SNAPSHOT"}
implementation("typeset:typeset:1.0.0-SNAPSHOT")
<dependency> <groupId>typeset</groupId> <artifactId>typeset</artifactId> <version>1.0.0-SNAPSHOT</version> </dependency>
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: