Similar repositories to wangjwchn/coq2smt: