coq - The formal proof system

Age	Commit message (Expand)	Author
2021-03-30	[flags] [profile] Remove bit-rotten CProfile code.	Emilio Jesus Gallego Arias
2020-10-09	Minimize Prop <= i to i := Set	Gaëtan Gilbert
2020-09-28	Put type-in-type flag in ugraph.	Gaëtan Gilbert
2020-07-25	Faster algorithm to compute algebraic universe mapping in mimization.	Pierre-Marie Pédrot
2020-05-13	Make explicit that UGraph lower bounds are only of two kinds.	Pierre-Marie Pédrot
2020-03-18	Update headers in the whole code base.	Théo Zimmermann
2020-02-12	Remove Goptions.opt_name field	Gaëtan Gilbert
2019-12-12	restrict minimization to set to flexibles	Gaëtan Gilbert
2019-08-26	Make kernel parametric on the lowest universe and fix #9294	Matthieu Sozeau
2019-06-17	Update ml-style headers to new year.	Théo Zimmermann
2019-05-21	Fixing typos - Part 1	JPR
2019-05-02	Add union in Map interface	Maxime Dénès
2019-03-14	Add a non-cumulative impredicative universe SProp.	Gaëtan Gilbert
2018-12-09	[doc] Enable Warning 50 [incorrect doc comment] and fix comments.	Emilio Jesus Gallego Arias
2018-11-28	[options] New helper for creation of boolean options plus reference.	Emilio Jesus Gallego Arias
2018-11-23	s/let _ =/let () =/ in some places (mostly goptions related)	Gaëtan Gilbert
2018-05-17	Split off Universes functions for minimization.	Gaëtan Gilbert