Skip to content

wrap long lines in Main declarations: in project card - #711

Open
loefflerd wants to merge 1 commit into
LeanPool:mainfrom
loefflerd:CI-wrap-main-decls
Open

wrap long lines in Main declarations: in project card#711
loefflerd wants to merge 1 commit into
LeanPool:mainfrom
loefflerd:CI-wrap-main-decls

Commits

  1. Commits on Oct 23, 2026