Micromega tactics for Mathematical Components - View it on GitHub