Category:Coq (programming language)

**Coq**
	proof assistant
	Upload media
	Wikipedia
Instance of	proof assistant; purely functional programming language; open-source software; free software; dependently typed programming language;
Named after	Thierry Coquand;
Location	France;
Copyright license	GNU Lesser General Public License, version 2.1;
Has use	proof assistant; programming language;
Developer	Institut National de Recherche en Informatique et en Automatique;
Platform	cross-platform;
Operating system	cross-platform;
Software version identifier	8.19.1 (stable version, 2024);
Inception	1984;
Publication date	1 May 1989;
Different from	rooster; Coq;
	official website
Authority file
	Q1131652; BabelNet ID: 03400740n; DOI: 10.5281/ZENODO.1003420; GitHub username: coq
	Reasonator; Scholia; Wikidocumentaries; PetScan; statistics; WikiMap; Locator tool; KML file; Search depicted;

Media in category "Coq (programming language)"

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