Optional Ansatz Lean JVM interpreter runtime
replikativ/ansatz[org.replikativ/ansatz-lean-jvm "0.2.578"]
org.replikativ/ansatz-lean-jvm {:mvn/version "0.2.578"}
implementation("org.replikativ:ansatz-lean-jvm:0.2.578")<dependency> <groupId>org.replikativ</groupId> <artifactId>ansatz-lean-jvm</artifactId> <version>0.2.578</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: