Stream: Ltac2

Topic: simple apply


view this post on Zulip 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: Jan 31 2023 at 10:01 UTC