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: Aug 13 2022 at 07:19 UTC