Skip to content

feat: isPrivateOrAutoDecl#1835

Open
thorimur wants to merge 7 commits into
leanprover-community:mainfrom
thorimur:isPrivateOrAutoDecl
Open

feat: isPrivateOrAutoDecl#1835
thorimur wants to merge 7 commits into
leanprover-community:mainfrom
thorimur:isPrivateOrAutoDecl

chore: add TODO so that source makes sense without context

c79ba46
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Build
succeeded Jun 15, 2026 in 43s