This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
الميزات الرئيسية لـ math-comp/mczify هي: Libraries.
تشمل البدائل مفتوحة المصدر لـ math-comp/mczify: charguer/tlc — Description. coq/bignums — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/alea — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/coq-ext-lib — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… coq-community/reglang — This file was generated from meta.yml, please do not edit manually. Follow the instructions on… bradymholt/cron-expression-descriptor — Would you take a quick second and ⭐️ my repo?
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
This file was generated from meta.yml, please do not edit manually. Follow the instructions on https://github.com/coq-community/templates to regenerate. --->
Would you take a quick second and ⭐️ my repo?
