Wikimore

**Rocq**
	proof assistant
	Upload media
	Wikipedia
Instance of	proof assistant; purely functional programming language; open-source software; free software; dependently typed programming language;
Named after	Rocquencourt; Roc; stone;
Location	France;
Copyright license	GNU Lesser General Public License, version 2.1;
Has use	proof assistant; programming language; formal proof;
Developer	Institut National de Recherche en Informatique et en Automatique;
Platform	cross-platform;
Operating system	cross-platform;
Software version identifier	9.0.0 (stable version, 2025);
Inception	1984;
Publication date	1 May 1989;
Different from	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;

Category:Rocq (programming language)