coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	[travis] Add VST	Emilio Jesus Gallego Arias	2017-03-24
\|
*	[travis] [External CI] fiat-parsers	Emilio Jesus Gallego Arias	2017-02-24
\|
*	[travis] [External CI] CompCert official 8.6 support + UniMath	Emilio Jesus Gallego Arias	2017-02-15
\|
*	[travis] [External CI] GeoCoq	Emilio Jesus Gallego Arias	2017-02-07
\|
*	[travis] Move ci files from `tools` to `dev`.	Maxime Dénès	2017-02-07
\|
*	[travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc ↵	Emilio Jesus Gallego Arias	2017-02-07
\| \| \| \| \| \|	iris-coq math-classes sf - [TLC] [metacoq] not ready for 8.6 yet
*	[travis] [External CI] Script renaming.	Emilio Jesus Gallego Arias	2017-02-07