Stream: General

Topic: more specific way of retrieving code setup?

view this post on Zulip terru (Mar 05 2025 at 16:15):

is there a more convenient way to get everything related to the code setup for a specific definition/function than doing print_codesetup and searching through its output?

view this post on Zulip Maximilian Schäffeler (Mar 05 2025 at 18:25):

Maybe code_thms Max is what you are looking for?

view this post on Zulip terru (Mar 06 2025 at 09:12):

yes, thank you!

Last updated: Jun 29 2025 at 20:22 UTC