Zulip Chat Archive
Stream: lean4
Topic: Interpreting the Call Stack
Paul Mure (Aug 15 2025 at 01:57):
When debugging with dbgStackTrace, how can I interpret the output and map it back to the Lean functions I defined?
Last updated: Dec 20 2025 at 21:32 UTC