Stream: Coq users

Topic: Find scope declaration


view this post on Zulip Julin Shaji (Apr 17 2024 at 10:58):

I have a file where a name_scope is active.
Is there a way to know in which file that scope was declared?


Last updated: Jun 13 2024 at 19:02 UTC