verifx-prover/verifx

The VeriFx automated verification language

语言：Scala · GitHub 星标：30 · Fork：3

话题：crdts · language · scala · verification

在 GitHub 上查看原仓库