Workshop on Proof Mining 2024