coq - The formal proof system

Age	Commit message (Expand)	Author
2021-04-22	Enable canonical `fun _ => _` projections.	Jan-Oliver Kaiser
2020-11-29	Backport ssrbool lemmas from MathComp 1.12.0	Kazuhiko Sakaguchi
2020-11-24	Fixing [dup] and [swap]	Cyril Cohen
2020-11-22	Adapting standard library, doc and test suite to ident->name renaming.	Hugo Herbelin
2020-11-20	[doc] [ssr] fix documentation of reflect	Enrico Tassi
2020-11-16	Explicitly annotate all hint declarations of the standard library.	Pierre-Marie Pédrot
2020-11-06	Intro pattern extensions for dup, swap and apply	Cyril Cohen
2020-10-10	Splitting ssrbool's multi-printing notations into parsing and printing.	Hugo Herbelin
2020-08-26	address comments and fixups	Reynald Affeldt
2020-08-25	fix notation-incompatible-format warnings	Reynald Affeldt
2020-08-25	add contra lemmas introduced by MathComp's PR #499	Reynald Affeldt
2020-08-25	tentative backport of ssrbool from MathComp 1.11	Reynald Affeldt
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-19	Only parsing in Reserved Notation: turning notice into a warning.	Hugo Herbelin
2020-02-13	[build] Consolidate stdlib's .v files under a single directory.	Emilio Jesus Gallego Arias