The core library for the LaTTe proof assistant.
[latte-prelude "1.0b6-SNAPSHOT"]
latte-prelude/latte-prelude {:mvn/version "1.0b6-SNAPSHOT"}
implementation("latte-prelude:latte-prelude:1.0b6-SNAPSHOT")
<dependency> <groupId>latte-prelude</groupId> <artifactId>latte-prelude</artifactId> <version>1.0b6-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: