Skip to content

feat(Analysis): strengthen bounds for sin#41094

Open
b-mehta wants to merge 3 commits into
leanprover-community:masterfrom
b-mehta:better-sin-bounds
Open

feat(Analysis): strengthen bounds for sin#41094
b-mehta wants to merge 3 commits into
leanprover-community:masterfrom
b-mehta:better-sin-bounds

fix

7b507bb
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jun 27, 2026 in 1m 20s