Stream: Ltac2

Topic: Ltac2 Set locality?


view this post on Zulip Jason Gross (Aug 29 2022 at 06:13):

It seems that Ltac2 Set does not support any locality attributes. What's its default locality?


Last updated: Mar 29 2024 at 05:40 UTC