coq - The formal proof system

Age	Commit message (Expand)	Author
2020-04-17	Merge PR #11135: Simplifying the code declaring the constants bound to primit...	Pierre-Marie Pédrot
2020-04-13	correctly open objects for Names filters	Gaëtan Gilbert
2020-04-13	pass filters around	Gaëtan Gilbert
2020-04-13	Simplifying the declaration of constants bound to primitive projections.	Hugo Herbelin
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2019-12-22	Remove the hacks relying on hardwired libobject tags.	Pierre-Marie Pédrot
2019-10-25	[inductive] [declare] Move full inductive declaration to declareInd	Emilio Jesus Gallego Arias
2019-10-24	[declare] Split inductive declaration code to vernac/	Emilio Jesus Gallego Arias