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: Sep 09 2024 at 04:02 UTC