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

	Commit message (Expand)	Author	Age	Files	Lines
*	Start porting to the standard version of Coq (not finished yet)	Chantal Keller	2015-01-13	9	-0/+4064