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