Stream: Ltac2

Topic: Ltac2 `or` semantic

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: Dec 06 2023 at 14:01 UTC