Stream: metaprogramming / tactics
Chris Hughes (Jan 02 2021 at 17:51):
How do I feed a list of expressions into a tactic. In a similar way to how simp takes a list of expressions, but without any of the extra info that simp takes?
Chris Hughes (Jan 02 2021 at 17:57):
parse (list_of texpr)?
Rob Lewis (Jan 02 2021 at 18:04):
Last updated: May 09 2021 at 22:13 UTC