What's the reason for having tauto_plugin separate from ltac_plugin?
What's the reason for not having it separate?
Most other self-contained tactic plugins are separate.
Last updated: May 28 2023 at 13:30 UTC