Skip to content

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

Title bounded arithmetic as strengthened V0 interfaces

13a5634
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar