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 14 2026 at 17:16 UTC