Skip to content

feat: review claims via comments - #1601

Merged
jstoobysmith merged 35 commits into
leanprover-community:masterfrom
Alex-Zughaid:github-review-claim-labels
Sep 3, 2026
Merged

feat: review claims via comments#1601
jstoobysmith merged 35 commits into
leanprover-community:masterfrom
Alex-Zughaid:github-review-claim-labels

Commits

Commits on Jul 20, 2026

Commits on Jul 21, 2026

Commits on Jul 24, 2026

Commits on Jul 29, 2026

Commits on Jul 30, 2026

Commits on Aug 20, 2026

Commits on Sep 1, 2026

Commits on Sep 2, 2026