Branches

Branch	Updated	Check status	BehindAhead	Pull request	Action menu
implicits	Feb 20, 2018
anon-sections	Apr 26, 2018
sections-dont-qualify	May 5, 2018
remove-internal-comInductive-API	Jun 4, 2018
inductive-params-overlays	Jun 21, 2018
type-constraint-OfSort	Jun 29, 2018
evar-finalize	Jul 13, 2018
evar-finalize-2	Jul 19, 2018
evar-finalize-3	Jul 20, 2018
bbarenblat-spelling-fix	Aug 30, 2018
impargs-no-renaming	Jan 1, 2019
deprecate-primproj-printing-compatibility	Jan 3, 2019
impargs-no-renaming-2	Jan 21, 2019
always-deep-rename	Jan 23, 2019
inductive-implicit-parameters-different-argument-name	Feb 18, 2019
dont-assume-set-in-match	May 1, 2019
simplify-discharge-implicits	May 2, 2019
allow-elim-in-succ	Jun 23, 2019
include-zarith-for-debug	Aug 31, 2020
mutual-uniform-inductives	Oct 1, 2020

Provide feedback