gmalecha/coq-smt-check

Issues

• Coq8.6 support?

  #4 opened 7 years ago by wangjwchn
  5

• Support custom types

  #2 opened 7 years ago by wangjwchn
  1

• Provide a way to print Z3 input for debugging

  #3 opened 7 years ago by wangjwchn
  1

• Polya

  #1 opened 9 years ago by spitters
  6