coq - The formal proof system

Age	Commit message (Collapse)	Author
2018-06-12	[api] Misctypes removal: move Tactypes to proofs	Emilio Jesus Gallego Arias
	This gets `Tactypes` closer to `tactics/`, however some legacy stuff blocks it in `proofs`. We consider that is satisfactory for now.