propel-prover/propel

Check the commutativity, associativity, idempotency, and other algebraic properties of your functions and relations

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

在 GitHub 上查看原仓库