Category:Coq

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Coq 
proof assistant
Coq 8.5 stdlib proof.png
Coq logo.png 
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Instance ofproof assistant,
purely functional programming language,
open-source software
Use
  • proof assistant
Developer
Platformcross-platform
Operating systemcross-platform
Software version identifier
  • 8.10.2 (2019)
Inception
  • 1984
Publication date
  • 1 May 1989
official website
Authority control
Edit infobox data on Wikidata
Coq (it); Coq (logiciel) (fr); Coq (ru); Coq (Software) (de-ch); Coq (Software) (de); Coq (pt); Coq (en-gb); Coq (zh); Coq (da); Coq (ro); Coq (ja); Coq (pt-br); Coq (sv); Coq (nn); Coq (uk); Coq (nl); Coq (es); Coq (fi); Coq (en); Coq (en-ca); Coq (el); Coq (ca) lenguaje de programación (es); logiciel informatique (fr); llenguatge de programació (ca); Programmiersprache (de); linguagem de programação (pt); programmeringssprog (da); limbaj de programare (ro); ohjelmointikieli (fi); programovací jazyk (sk); programmeringsspråk (nn); പ്രോഗ്രാമിങ് ഭാഷ (ml); programmeertaal (nl); programspråk (sv); प्रोग्रामिंग भाषा (hi); linguaggio di programmazione (it); ਪ੍ਰੋਗਰਾਮਿੰਗ ਭਾਸ਼ਾ (pa); proof assistant (en); język programowania (pl); programovací jazyk (cs); שפת תכנות (he) Coq (assistant de preuve), Coq (Logiciel) (fr)

Media in category "Coq"

The following 4 files are in this category, out of 4 total.