Hi, what is the semantic of apply multiple tactics in ltac2 (equiv to apply H1 || apply H2 in ltac1)
apply H1 || apply H2
Last updated: May 31 2023 at 02:31 UTC