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