Hi all,

I was searching for a little more advance logging functionalities (like different log levels, disable logging completely without removing any code, etc.) but I haven't found anything in the docs/forum. To be clear, I was searching for something like https://logging.apache.org/log4j/2.x/

Is there something similar available in Lean?

Thank you!

Author