Coq الإنجليزية (Q2131355)

من Marefa data
proof assistant الإنجليزية
اللغة التسمية الوصف أسماء أخرى
العربية
لم تُضف التسمية
لا يوجد وصف
    الإنجليزية
    Coq
    proof assistant

      بيانات

      Wikidata item الإنجليزية
      Q1131652
      ٠ مرجع
      Commons category الإنجليزية
      Coq (programming language)
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      Freebase ID الإنجليزية
      /m/02s7zd
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      programmed in الإنجليزية
      سي
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      instance of الإنجليزية
      proof assistant الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      برمجيات حرة
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      dependently typed programming language الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      official website الإنجليزية
      software version identifier الإنجليزية
      8.5pl2
      publication date الإنجليزية
      ١١ يوليو 2016http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.6.1
      publication date الإنجليزية
      ٢٥ يوليو 2017http://data.marefa.org/entity/Q1985727
      official website الإنجليزية
      https://coq.inria.fr/
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.7.1
      publication date الإنجليزية
      ١٥ ديسمبر 2017http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.7.2
      publication date الإنجليزية
      ١٥ فبراير 2018http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.8.0
      publication date الإنجليزية
      ١٧ أبريل 2018http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.9.1
      publication date الإنجليزية
      ٢٠ مايو 2019http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.5
      publication date الإنجليزية
      ١٨ أغسطس 2017http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.6
      publication date الإنجليزية
      ١٨ أغسطس 2017http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.7.0
      publication date الإنجليزية
      ١٧ أكتوبر 2017http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.8.1
      publication date الإنجليزية
      ٩ يوليو 2018http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.8.2
      publication date الإنجليزية
      ٢٦ سبتمبر 2018http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.9.0
      publication date الإنجليزية
      ١٩ يناير 2019http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.10.0
      publication date الإنجليزية
      ٨ أكتوبر 2019http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.10.1
      publication date الإنجليزية
      ٢٥ أكتوبر 2019http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.10.2
      publication date الإنجليزية
      ٢٩ نوفمبر 2019http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.11.0
      publication date الإنجليزية
      ٣٠ يناير 2020http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.11.1
      publication date الإنجليزية
      ٨ أبريل 2020http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.11.2
      publication date الإنجليزية
      ٩ يونيو 2020http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.12.0
      publication date الإنجليزية
      ٢٧ يوليو 2020http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.12.1
      publication date الإنجليزية
      ١٦ نوفمبر 2020http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.12.2
      publication date الإنجليزية
      ١١ ديسمبر 2020http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.13.0
      publication date الإنجليزية
      ٧ يناير 2021http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.13.1
      publication date الإنجليزية
      ٢٢ فبراير 2021http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.13.2
      publication date الإنجليزية
      ١٢ أبريل 2021http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.14.0
      publication date الإنجليزية
      ١٤ أكتوبر 2021http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.14.1
      publication date الإنجليزية
      ٧ ديسمبر 2021http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.15.0
      publication date الإنجليزية
      ١٣ يناير 2022http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.15.1
      publication date الإنجليزية
      ٢٢ مارس 2022http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.15.2
      publication date الإنجليزية
      ٣١ مايو 2022http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.16.0
      publication date الإنجليزية
      ٥ سبتمبر 2022http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.16.1
      publication date الإنجليزية
      ٢٥ نوفمبر 2022http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.17.0
      publication date الإنجليزية
      ٢٧ مارس 2023http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.17.1
      publication date الإنجليزية
      ٢٧ يونيو 2023http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      8.18.0
      publication date الإنجليزية
      ٨ سبتمبر 2023http://data.marefa.org/entity/Q1985727
      version type الإنجليزية
      إصدار مستقر
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      source code repository URL الإنجليزية
      https://github.com/coq/coq
      version control system الإنجليزية
      جت
      web interface software الإنجليزية
      غيت هاب
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      developer الإنجليزية
      إنريا
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      publication date الإنجليزية
      ١ مايو 1989http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      inception الإنجليزية
      1984http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      operating system الإنجليزية
      متعدد المنصات
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      Stack Exchange tag الإنجليزية
      web feed URL الإنجليزية
      BabelNet ID الإنجليزية
      03400740n
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      has use الإنجليزية
      proof assistant الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      لغة برمجة
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      platform الإنجليزية
      متعدد المنصات
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      country الإنجليزية
      فرنسا
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      package management system الإنجليزية
      opam الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      award received الإنجليزية
      Programming Languages Software Award الإنجليزية
      point in time الإنجليزية
      2013http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      Open Science Free Software Award الإنجليزية
      point in time الإنجليزية
      2022http://data.marefa.org/entity/Q1985727
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
      named after الإنجليزية
      Thierry Coquand الإنجليزية
      ١ مراجع
      Imported from Wikidata item الإنجليزية
      Q1131652
       

      وصلات الموقع

        مجلوبة من «https://data.marefa.org/w/index.php?title=Q2131355&oldid=30526387»