coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-26	Expose less interface in coercionops.mli	Kazuhiko Sakaguchi
2021-03-13	Minimize the set of multiple inheritance paths to check for conversion	Kazuhiko Sakaguchi
2021-03-09	Add the source and target classes to the coercion table	Kazuhiko Sakaguchi
2021-03-09	Replace cl_index with cl_typ in coercionops.ml	Kazuhiko Sakaguchi
2021-03-05	[coercipn] expose coercion_info	Enrico Tassi
2020-10-21	Introduce an Ind module in the Names API.	Pierre-Marie Pédrot
2020-05-10	No more local reduction functions in Reductionops.	Pierre-Marie Pédrot
2020-03-30	Merge PR #11817: [cleanup] Remove unnecessary Map/Set module creation	Gaëtan Gilbert
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-03-13	[cleanup] Remove unnecessary Map/Set module creation	Emilio Jesus Gallego Arias
2019-12-22	Rename files with Class in their name to make their role clearer.	Pierre-Marie Pédrot