Skip to content

[pull] main from python:main#1310

Merged
pull[bot] merged 5 commits into
tj-python:mainfrom
python:main
Jul 25, 2026
Merged

[pull] main from python:main#1310
pull[bot] merged 5 commits into
tj-python:mainfrom
python:main

Fix a stale link to the `math.integer.isqrt()` correctness proof (#15…

b86a41c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
lint
succeeded Jul 25, 2026 in 56s