Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:03400740n
Noun Named Entity
Categories: Educational math software, Proof assistants, Programming languages created in 1984, Articles with short description, Free software programmed in OCaml
EN
Coq  Coq.inria.fr  Coq project  Coq proof assistant
EN
Coq is an interactive theorem prover first released in 1989. Wikipedia
English:
proof assistant
Definitions
Relations
Sources
EN
Coq is an interactive theorem prover first released in 1989. Wikipedia
Proof assistant Wikidata
IS A
free software
proof assistant
open-source software
COUNTRY
France
DEVELOPER
Institut National de Recherche en Informatique et en Automatique
OPERATING SYSTEM
cross-platform
PLATFORM
cross-platform
PROGRAMMING LANGUAGE
C
OCaml
PROGRAMMING PARADIGM
purely functional programming
USE
proof assistant
Wikipedia
EN
Coq
Wikidata
EN
Coq
Wikipedia Redirections
EN
COQ, Coq.inria.fr, Coq (proof assistant), Coq project, Coq proof assistant

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License