Lin, Yuhui, Le Bras, Pierre, Grov, Gudmund, "Developing and Debugging Proof Strategies by Tinkering", , 2025