verifx-prover / verifx   1.0.2

MIT License Website GitHub

The VeriFx automated verification language

Scala versions: 2.13

Latest version

[![verifx Scala version support](https://index.scala-lang.org/verifx-prover/verifx/verifx/latest.svg)](https://index.scala-lang.org/verifx-prover/verifx/verifx)

JVM badge

[![verifx Scala version support](https://index.scala-lang.org/verifx-prover/verifx/verifx/latest-by-scala-version.svg?platform=jvm)](https://index.scala-lang.org/verifx-prover/verifx/verifx)