verifx-prover / verifx   1.0.2

MIT License Website GitHub

The VeriFx automated verification language

Scala versions: 2.13

verifx

Found 2 versions
1.0.2
1 year ago
MIT
JVM:
2.13
1.0.1
2 years ago
MIT
JVM:
2.13