GitHub repository: samuelgruetter/coq-smt-notations
Primary language: Coq
Created: 2018-06-12T15:25:10Z
Description: A quick hack to ask any SMT solver if your Coq goal is true