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: Sep 16 2025 at 01:36 UTC