Skip to content

feat: don't consider private names autogenerated in isAutoDecl - #1831

Merged
wrenna-robson merged 37 commits into
leanprover-community:mainfrom
thorimur:isAutoDecl-private
Aug 8, 2026
Merged

wrenna-robson merged 37 commits into
leanprover-community:mainfrom
thorimur:isAutoDecl-private

Commits

Commits on Jun 2, 2026

Commits on Jun 15, 2026

Commits on Jul 6, 2026

Commits on Jul 7, 2026

Commits on Jul 10, 2026

Commits on Jul 23, 2026

Commits on Jul 24, 2026

Commits on Jul 31, 2026

Commits on Aug 7, 2026