Gergely Buday (May 17 2022 at 06:29): Gergely Buday (May 17 2022 at 06:29):Hi there,
some time ago I posted a question about tracing the classical reasoner on Stack Overflow:
https://stackoverflow.com/questions/60521384/tracing-tactics-in-isabelle
Does anyone know answer for this?
Last updated: Jul 18 2025 at 20:25 UTC