Skip to content

docs: Paper B depth claim scoped by Hebrew counterexample - #180

Merged
ronaldtse merged 1 commit into
mainfrom
paper-b-depth-scope
Sep 5, 2026
Merged

docs: Paper B depth claim scoped by Hebrew counterexample#180
ronaldtse merged 1 commit into
mainfrom
paper-b-depth-scope

docs: Paper B — depth claim scoped by the Hebrew counterexample

5ead170
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar