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