JarCasting
JarCasting JarCasting
is not current version
Last Version 0.7.0 →

org.whiley:wytp 0.6.18

This provides a simple implementation of an automated theorem prover, designed specifically for use with the Whiley Compiler.

GroupId

GroupId

org.whiley
ArtifactId

ArtifactId

wytp
Version

Version

0.6.18
Type

Type

jar

Download wytp 0.6.18

Filename Size
wytp-0.6.18.pom
wytp-0.6.18.jar 365 KB
wytp-0.6.18-sources.jar 175 KB
wytp-0.6.18-javadoc.jar 1 MB
Browse 

<!-- https://jarcasting.com/artifacts/org.whiley/wytp/ -->
<dependency>
    <groupId>org.whiley</groupId>
    <artifactId>wytp</artifactId>
    <version>0.6.18</version>
</dependency>
// https://jarcasting.com/artifacts/org.whiley/wytp/
implementation 'org.whiley:wytp:0.6.18'
// https://jarcasting.com/artifacts/org.whiley/wytp/
implementation ("org.whiley:wytp:0.6.18")
'org.whiley:wytp:jar:0.6.18'
<dependency org="org.whiley" name="wytp" rev="0.6.18">
  <artifact name="wytp" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.whiley', module='wytp', version='0.6.18')
)
libraryDependencies += "org.whiley" % "wytp" % "0.6.18"
[org.whiley/wytp "0.6.18"]