coq - The formal proof system

Age	Commit message (Expand)	Author
2020-05-09	Merge PR #12241: [declare] Merge DeclareDef into Declare	Gaëtan Gilbert
2020-05-08	Merge PR #12121: Fixes #11903 and warns about non truly-recursive (co)fixpoints	Pierre-Marie Pédrot
2020-05-07	[declare] Merge DeclareDef into Declare	Emilio Jesus Gallego Arias
2020-05-07	[declare] Remove fix_exn internal access.	Emilio Jesus Gallego Arias
2020-05-03	[funind] Remove use of low-level entries in scheme generation.	Emilio Jesus Gallego Arias
2020-05-01	Changing fixpoint message "decreasing" -> "guarded".	Hugo Herbelin
2020-04-30	Remove outdated code and comments in Declare.	Pierre-Marie Pédrot
2020-04-21	[declare] [compat] Add alias for deprecated function	Emilio Jesus Gallego Arias
2020-04-21	[declare] [tactics] Move declare to `vernac`	Emilio Jesus Gallego Arias