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: Apr 19 2024 at 02:02 UTC