Andrew FrahnandClaude Sonnet 5.5 6b4c192195 Strict proof equivalence check without warnings, tolerant warned count; fix zoom docs ...

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

2026-10-20 12:06:07 +11:00

..

src

Merge upstream/main into pr/overlay-windows (#1027 landed)

2026-10-20 10:57:07 +11:00

tests

Strict proof equivalence check without warnings, tolerant warned count; fix zoom docs

2026-10-20 12:06:07 +11:00

Cargo.toml

Merge PR #1663 (rebased)

2026-10-15 03:40:17 -04:00