Zulip Chat Archive
Stream: new members
Topic: list instances
Jireh Loreaux (Nov 30 2021 at 16:09):
How can I get Lean to list all instances of a certain class for me? I realize that this probably won't pick up defs for non-canonical instances.
Last updated: May 02 2025 at 03:31 UTC