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: Jan 31 2023 at 11:01 UTC