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: Oct 13 2024 at 01:02 UTC