Adapt the currently existing tuto about chaining tactics to Ltac2 https://github.com/rocq-prover/platform-docs/blob/main/src/Tutorial_Chaining_Tactics.v
Adapt the currently existing tuto about chaining tactics to Ltac2
https://github.com/rocq-prover/platform-docs/blob/main/src/Tutorial_Chaining_Tactics.v