Stream: Beginner Questions

Topic: Tracing the classical reasoner


view this post on Zulip 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: Mar 29 2024 at 08:18 UTC