gmalecha/coq-smt-check

Invoke SMT solvers from Coq to check obligations

语言：OCaml · GitHub 星标：10 · Fork：3

话题：coq · smt-solver · tactics

在 GitHub 上查看原仓库