gmalecha coq-smt-check issues - Githubissues

gmalecha / coq-smt-check

Invoke SMT solvers from Coq to check obligations

MIT License

10 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

fixed some bugs, add more types.

#5 wangjwchn closed 7 years ago
2
Coq8.6 support?

#4 wangjwchn opened 7 years ago
5
Provide a way to print Z3 input for debugging

#3 wangjwchn opened 7 years ago
1
Support custom types

#2 wangjwchn opened 7 years ago
1
Polya

#1 spitters opened 8 years ago
6