Stream: Ltac2

Topic: simple apply

Michael Soegtrop (Mar 27 2021 at 09:42):

@Pierre-Marie Pédrot : I am looking for "simple apply". Is this Ltac2 Std.apply with advanced_flag=false?

Last updated: Oct 12 2024 at 12:01 UTC