Home / Coq / Libraries > Mczify Libraries > Mczify Library enabling Micromega arithmetic solvers to work when using Mathematical Components number definitions. Package 28 stars GitHub Back to Coq