Stream: Ltac2

Topic: Entry for Ltac2 Tactic Notation


view this post on Zulip Emilio Jesús Gallego Arias (Jun 08 2022 at 11:50):

@Pierre-Marie Pédrot , what's the top-level Entry.t for Ltac2 where the Ltac2 Notation rules are added?

view this post on Zulip Emilio Jesús Gallego Arias (Jun 08 2022 at 12:46):

I want to write a Print Ltac2 Grammar actually


Last updated: Jan 31 2023 at 10:01 UTC