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: Dec 20 2023 at 11:08 UTC