JarCasting
JarCasting JarCasting
не последняя версия
Последняя версия 0.7.0 →

org.whiley:wytp 0.5.3

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

Группа

Группа

org.whiley
Идентификатор

Идентификатор

wytp
Версия

Версия

0.5.3
Тип

Тип

jar

Скачать wytp 0.5.3

Имя Файла Размер
wytp-0.5.3.pom
wytp-0.5.3.jar 244 KB
wytp-0.5.3-sources.jar 90 KB
wytp-0.5.3-javadoc.jar 2 MB
Обзор 

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