.. toctree:: :maxdepth: 1 :caption: Contents: Finding worst-case guarantees <notebooks_folder/PEPit_demo.ipynb> Extracting a worst-case example <notebooks_folder/PEPit_demo_extract_worst_case_examples.ipynb> Extracting a proof <notebooks_folder/PEPit_demo_extracting_a_proof.ipynb> Designing an algorithm <notebooks_folder/PEPit_demo_algorithm_design.ipynb>