You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Check correctness of Theorem 3.8 (the proof itself but also that the statement fits chapter 3 language, ... log depth and number of queries to QRAM...)
Make new FG proof into a markdown
Write better captions for bucket-brigade circuit with swaps and control swaps
TOP4 2.3.2.2 KP-Trees write some introduction to KP-trees section
Fix arrow orientation of figure 2.2 (should be horizontal)
Done: