Skip to content

feat(circuit/frontier): native child networks and the correctness of one native call (Theorem D.1, T2.9) - #1967

Closed
SamuelSchlesinger wants to merge 12 commits into
claude/t2-assemblyfrom
claude/t2-native-child
Closed

SamuelSchlesinger wants to merge 12 commits into
claude/t2-assemblyfrom
claude/t2-native-child

doc(circuit/frontier): keep the rows-first bullet's first line

8bd4f74
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
guide
succeeded Oct 31, 2026 in 5m 35s