sci-mathematics
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