coq - the Coq proof assistant

	Commit message (Collapse)	Author	Age
*	Ensuring all .v files end with a newline to make "sed -i" work better on them.	Hugo Herbelin	2017-08-21
\|
*	Bump year in headers.	Pierre-Marie Pédrot	2017-07-04
\|
*	Fix bug 5026 (the stdlib shouldn't define inconsistent notations).	Théo Zimmermann	2017-06-08
\|
*	Qcabs : absolute value on normalized rational numbers Qc	Pierre Letouzey	2016-02-26
	File contributed by Cédric Auger (a long time ago, sorry!) Qarith and Qc would probably deserve many more results like this one, and a more modern style (for instance qualified names), but this commit is better than nothing...