Skip to content

Issues: gmalecha/coq-smt-check

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Coq8.6 support?
#4 opened Jul 27, 2017 by wangjwchn
Support custom types
#2 opened Jul 26, 2017 by wangjwchn
Polya
#1 opened Feb 25, 2016 by spitters
ProTip! Mix and match filters to narrow down what you’re looking for.