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: Dec 05 2023 at 11:01 UTC