The VeriFx automated verification language
Scala versions:
2.13
2
versions found for
verifx