rocq-micromega-plugin