Stream: Ltac2

Topic: Ltac2 `or` semantic


view this post on Zulip Tingchen Xie (Oct 28 2021 at 13:32):

Hi, what is the semantic of apply multiple tactics in ltac2 (equiv to apply H1 || apply H2 in ltac1)


Last updated: Jan 31 2023 at 09:01 UTC