Stream: Ltac2

Topic: Discourse question

view this post on Zulip Théo Zimmermann (Sep 19 2022 at 07:06):

FYI there's a question on Discourse about Ltac2 that was asked two days ago but hasn't yet been answered: https://coq.discourse.group/t/what-is-unsafe-about-the-ltac2-constr-unsafe-module/1796

Last updated: Dec 06 2023 at 15:01 UTC