aesop print contents of rule set

Stream: lean4

[Bhavik Mehta]

Is there a way I can ask Lean/aesop to print what's included in a particular rule set?

[Kim Morrison]

@Jannis Limperg?

I think it is not possible.

[Jannis Limperg]

#aesop_rulesets prints all rule sets. I can add a variant that prints a specific one.

[Jannis Limperg]

Oh, it's #aesop_rules. I always forget my own API. :upside_down: