Skip to content

feat(CountingSimulation): counting classes from #TIME and NTIME/BPTIME/PPTIME ⊊ DTIME[2^T] - #2054

Merged
SamuelSchlesinger merged 4 commits into
mainfrom
claude/hpv-corollaries
Oct 31, 2026
Merged

feat(CountingSimulation): counting classes from #TIME and NTIME/BPTIME/PPTIME ⊊ DTIME[2^T]#2054
SamuelSchlesinger merged 4 commits into
mainfrom
claude/hpv-corollaries

refactor(Classes): expose FTIME bounds and SharpTIME degree monotonicity

8131f79
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 31, 2026 in 3s