verifx-prover / verifx 1.0.2

MIT License Website GitHub

The VeriFx automated verification language

Scala versions: 2.13

Group ID:

org.verifx

Artifact ID:

verifx_2.13

Version:

1.0.1

Release Date:

Apr 21, 2023

Licenses:

MIT

Files:

libraryDependencies += "org.verifx" %% "verifx" % "1.0.1"

ivy"org.verifx::verifx:1.0.1"

//> using dep "org.verifx::verifx:1.0.1"

import $ivy.`org.verifx::verifx:1.0.1`

<dependency>
  <groupId>org.verifx</groupId>
  <artifactId>verifx_2.13</artifactId>
  <version>1.0.1</version>
</dependency>

compile group: 'org.verifx', name: 'verifx_2.13', version: '1.0.1'