smtcoq - Fork of https://github.com/smtcoq/smtcoq.

	Commit message (Expand)	Author	Age	Files	Lines
*	Initial import of SMTCoq v1.2	Chantal Keller	2015-01-12	10	-0/+2124