Packages with the zarith use flag

sci-mathematics / why3 : Platform for deductive program verification

  • Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations

sci-mathematics / why3-for-spark : Platform for deductive program verification

  • Use Zarith (dev-ml/zarith) instead of Nums (dev-ml/num) for computations