LaTTe : a Laboratory for Type Theory Experiments
[latte "0.3.5-SNAPSHOT"]
latte/latte {:mvn/version "0.3.5-SNAPSHOT"}
implementation("latte:latte:0.3.5-SNAPSHOT")
<dependency> <groupId>latte</groupId> <artifactId>latte</artifactId> <version>0.3.5-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: