A quick hack to ask any SMT solver if your Coq goal is true
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool