A formalization of integers in LaTTe.
[latte-integers "0.12.0-SNAPSHOT"]
latte-integers/latte-integers {:mvn/version "0.12.0-SNAPSHOT"}
implementation("latte-integers:latte-integers:0.12.0-SNAPSHOT")
<dependency> <groupId>latte-integers</groupId> <artifactId>latte-integers</artifactId> <version>0.12.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: