{.title}
On the two paths problem and theorem
{.author}
Samuel Humeau and Damien Pous.
{.title-metadata}
ENS de Lyon, LIP, équipe PLUME
{.date}
19/11/2025
{pause up #sommaire}
# Sommaire
{style="display: flex; position:relative"}
> > {slip include src="problem_theorem.md"}
>
> {step}
>
> > {slip include src="theorem_proof.md"}
>
> {step}
>
> > {slip include src="algorithm.md"}
>
> {step}
