Repository navigation

Import formalization-of-bounded-arithmetic formalization - #107

Merged

Vilin97 merged 7 commits into

mainfrom

import/formalization-of-bounded-arithmetic-retry-20260518-144229

May 20, 2026

Merged

Import formalization-of-bounded-arithmetic formalization#107
Vilin97 merged 7 commits into
mainfrom
import/formalization-of-bounded-arithmetic-retry-20260518-144229

Commits on May 18, 2026
- Vendor formalization of bounded arithmetic
  Vilin97
  committed
  8aed724
Commits on May 19, 2026
- Add bounded arithmetic string successor theorem
  Vilin97
  committed
  22a8631
- Merge origin/main into bounded arithmetic import
  Vilin97
  committed
  d04b510
- Clarify bounded arithmetic V0 assumptions
  Vilin97
  committed
  c09c2bd
Commits on May 20, 2026
- Clarify bounded arithmetic strengthened V0 interface
  Vilin97
  committed
  e99fc52
- Use strengthened V0 aliases in bounded arithmetic metadata
  Vilin97
  committed
  1436485
- Title bounded arithmetic as strengthened V0 interfaces
  Vilin97
  committed
  13a5634