coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-26	[recordops] complete API rewrite; the module is now called [structures]	Enrico Tassi
2021-03-09	Add the source and target classes to the coercion table	Kazuhiko Sakaguchi
2020-06-26	[declare] [api] Removal of duplicated type aliases.	Emilio Jesus Gallego Arias
2020-05-10	No more local reduction functions in Reductionops.	Pierre-Marie Pédrot
2020-05-07	[declare] Merge DeclareDef into Declare	Emilio Jesus Gallego Arias
2020-04-13	pass filters around	Gaëtan Gilbert
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-06	unsafe_type_of -> type_of in ComCoercion.build_id_coercion	Gaëtan Gilbert
2019-12-22	Rename files with Class in their name to make their role clearer.	Pierre-Marie Pédrot