term rewriting library
[term-rewriting "0.1.1"]
term-rewriting/term-rewriting {:mvn/version "0.1.1"}
implementation("term-rewriting:term-rewriting:0.1.1")
<dependency> <groupId>term-rewriting</groupId> <artifactId>term-rewriting</artifactId> <version>0.1.1</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: