libcoq-mathcomp-zify - 1.2.0+1.12+8.13-6+b4 main

This package enables the use of the micromega arithmetic solvers
of Coq for goals stated with the Mathematical Components library,
by extending the zify tactic.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.